Searched refs:GUEST_PDPTR3_HIGH (Results 1 – 2 of 2) sorted by relevance
| /Linux-v4.19/tools/testing/selftests/kvm/include/ | ||
| D | vmx.h | 234 GUEST_PDPTR3_HIGH = 0x00002811, enumerator |
| /Linux-v4.19/arch/x86/include/asm/ | ||
| D | vmx.h | 240 GUEST_PDPTR3_HIGH = 0x00002811, enumerator |