Searched refs:GUEST_PDPTR2_HIGH (Results 1 - 2 of 2) sorted by relevance
/linux-master/tools/testing/selftests/kvm/include/x86_64/ | ||
H A D | vmx.h | 185 GUEST_PDPTR2_HIGH = 0x0000280f, enumerator in enum:vmcs_field |
/linux-master/arch/x86/include/asm/ | ||
H A D | vmx.h | 256 GUEST_PDPTR2_HIGH = 0x0000280f, enumerator in enum:vmcs_field |
Completed in 198 milliseconds