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

/seL4-l4v-10.1.1/seL4/src/arch/x86/kernel/
H A Dept.c213 findEPTForASID_ret_t asid_ret; local
216 asid_ret = findEPTForASID(asid);
217 if (asid_ret.status != EXCEPTION_NONE) {
220 ret.status = asid_ret.status;
224 pml4Slot = lookupEPTPML4Slot(asid_ret.ept, vptr);
228 ret.pml4 = asid_ret.ept;
412 findEPTForASID_ret_t asid_ret; local
414 asid_ret = findEPTForASID(asid);
415 if (asid_ret.status != EXCEPTION_NONE) {
418 ret.status = asid_ret
605 findEPTForASID_ret_t asid_ret; local
[all...]

Completed in 36 milliseconds