Searched refs:GUEST_PDPTR0_HIGH (Results 1 – 2 of 2) sorted by relevance
| /linux-6.15/tools/testing/selftests/kvm/include/x86/ | ||
| H A D | vmx.h | 179 GUEST_PDPTR0_HIGH = 0x0000280b, enumerator |
| /linux-6.15/arch/x86/include/asm/ | ||
| H A D | vmx.h | 274 GUEST_PDPTR0_HIGH = 0x0000280b, enumerator |