Searched refs:GUEST_PDPTR1_HIGH (Results 1 – 2 of 2) sorted by relevance
| /Linux-v5.4/arch/x86/include/asm/ | ||
| D | vmx.h | 232 GUEST_PDPTR1_HIGH = 0x0000280d, enumerator |
| /Linux-v5.4/tools/testing/selftests/kvm/include/x86_64/ | ||
| D | vmx.h | 228 GUEST_PDPTR1_HIGH = 0x0000280d, enumerator |