Searched defs:vtable_cap (Results 1 - 2 of 2) sorted by relevance

/seL4-mcs-10.1.1/include/arch/x86/arch/32/mode/fastpath/
H A Dfastpath.h30 cap_vtable_cap_get_vspace_root_fp(cap_t vtable_cap) argument
/seL4-mcs-10.1.1/include/arch/x86/arch/64/mode/fastpath/
H A Dfastpath.h36 cap_vtable_cap_get_vspace_root_fp(cap_t vtable_cap) argument
42 cap_pml4_cap_get_capPML4MappedASID_fp(cap_t vtable_cap) argument

Completed in 23 milliseconds