Searched refs:create_it_page_table_cap (Results 1 - 2 of 2) sorted by relevance
| /seL4-camkes-master/kernel/src/arch/x86/32/kernel/ |
| H A D | vspace.c | 392 static BOOT_CODE cap_t create_it_page_table_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asid_t asid) function
452 create_it_page_table_cap(vspace_cap, it_alloc_paging(), vptr, IT_ASID))
|
| /seL4-camkes-master/kernel/src/arch/arm/32/kernel/ |
| H A D | vspace.c | 511 static BOOT_CODE cap_t create_it_page_table_cap(cap_t pd, pptr_t pptr, vptr_t vptr, asid_t asid) function
557 create_it_page_table_cap(pd_cap, it_alloc_paging(), pt_vptr, IT_ASID))
|
Completed in 33 milliseconds