Searched refs:VMCS_GUEST_PDPTE0 (Results 1 – 2 of 2) sorted by relevance
| /openbmc/qemu/target/i386/hvf/ | ||
| H A D | vmcs.h | 95 #define VMCS_GUEST_PDPTE0 0x0000280A macro |
| H A D | vmx.h | 138 wvmcs(vcpu, VMCS_GUEST_PDPTE0 + i * 2, pdpte[i]); in macvm_set_cr0() |