x86/kernel/ept.c

290     cap_t           pml4Cap;
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;
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;
733     pml4Cap = excaps.excaprefs[0]->cap;
735     if (cap_get_capType(pml4Cap) != cap_ept_pml4_cap ||
736             !cap_ept_pml4_cap_get_capPML4IsMapped(pml4Cap)) {
744     pml4 = (ept_pml4e_t*)(cap_ept_pml4_cap_get_capPML4BasePtr(pml4Cap));
745     asid = cap_ept_pml4_cap_get_capPML4MappedASID(pml4Cap);
831     cap_t           pml4Cap;
844     pml4Cap = excaps.excaprefs[0]->cap;
858     if (cap_get_capType(pml4Cap) != cap_ept_pml4_cap ||
859             !cap_ept_pml4_cap_get_capPML4IsMapped(pml4Cap)) {
867     pml4 = (ept_pml4e_t*)(cap_ept_pml4_cap_get_capPML4BasePtr(pml4Cap));
868     asid = cap_ept_pml4_cap_get_capPML4MappedASID(pml4Cap);