GUEST_IA32_DEBUGCTL_HIGH (reference) in projects: Linux-v4.19

Searched refs:GUEST_IA32_DEBUGCTL_HIGH (Results 1 – 2 of 2) sorted by relevance

/Linux-v4.19/tools/testing/selftests/kvm/include/
D	vmx.h	`220 GUEST_IA32_DEBUGCTL_HIGH = 0x00002803, enumerator`
/Linux-v4.19/arch/x86/include/asm/
D	vmx.h	`226 GUEST_IA32_DEBUGCTL_HIGH = 0x00002803, enumerator`