Home
last modified time | relevance | path

Searched defs:GUEST_PDPTR1_HIGH (Results 1 – 2 of 2) sorted by relevance

/openbmc/linux/tools/testing/selftests/kvm/include/x86_64/
H A Dvmx.h183 GUEST_PDPTR1_HIGH = 0x0000280d, enumerator
/openbmc/linux/arch/x86/include/asm/
H A Dvmx.h253 GUEST_PDPTR1_HIGH = 0x0000280d, enumerator