MSR_BITMAP_HIGH   176 arch/x86/include/asm/vmx.h 	MSR_BITMAP_HIGH                 = 0x00002005,
MSR_BITMAP_HIGH   178 tools/testing/selftests/kvm/include/x86_64/vmx.h 	MSR_BITMAP_HIGH			= 0x00002005,