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

/seL4-l4v-10.1.1/seL4/src/arch/x86/kernel/
H A Dept.c290 cap_t pml4Cap; local
332 pml4Cap = excaps.excaprefs[0]->cap;
334 if (cap_get_capType(pml4Cap) != cap_ept_pml4_cap) {
342 pml4 = (ept_pml4e_t*)cap_ept_pml4_cap_get_capPML4BasePtr(pml4Cap);
343 asid = cap_ept_pml4_cap_get_capPML4MappedASID(pml4Cap);
500 cap_t pml4Cap; local
540 pml4Cap = excaps.excaprefs[0]->cap;
542 if (cap_get_capType(pml4Cap) != cap_ept_pml4_cap) {
550 pml4 = (ept_pml4e_t*)cap_ept_pml4_cap_get_capPML4BasePtr(pml4Cap);
551 asid = cap_ept_pml4_cap_get_capPML4MappedASID(pml4Cap);
693 cap_t pml4Cap; local
831 cap_t pml4Cap; local
[all...]

Completed in 138 milliseconds