Searched refs:GUEST_PDPTR2_HIGH (Results 1 – 2 of 2) sorted by relevance
| /linux/tools/testing/selftests/kvm/include/x86_64/ | ||
| A D | vmx.h | 227 GUEST_PDPTR2_HIGH = 0x0000280f, enumerator |
| /linux/arch/x86/include/asm/ | ||
| A D | vmx.h | 241 GUEST_PDPTR2_HIGH = 0x0000280f, enumerator |
Completed in 7 milliseconds