Searched refs:decodeSetEPTRoot (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/object/
H A Dtcb.h19 exception_t decodeSetEPTRoot(cap_t cap, extra_caps_t extraCaps);
/seL4-l4v-10.1.1/seL4/src/arch/x86/object/
H A Dtcb.c51 exception_t decodeSetEPTRoot(cap_t cap, extra_caps_t excaps) function
79 userError("decodeSetEPTRoot: Invalid EPT cap.");
/seL4-l4v-10.1.1/seL4/src/object/
H A Dtcb.c759 return decodeSetEPTRoot(cap, excaps);

Completed in 93 milliseconds