GUEST_CR4 308 arch/x86/include/asm/vmx.h GUEST_CR4 = 0x00006804, GUEST_CR4 302 tools/testing/selftests/kvm/include/x86_64/vmx.h GUEST_CR4 = 0x00006804,