Searched refs:EPT_POINTER (Results 1 - 2 of 2) sorted by relevance
| /fuchsia/zircon/kernel/arch/x86/hypervisor/ | ||
| H A D | vcpu_priv.h | 108 EPT_POINTER = 0x201a, member in class:VmcsField64 |
| H A D | vcpu.cpp | 435 vmcs.Write(VmcsField64::EPT_POINTER, eptp); |
Completed in 62 milliseconds