GUEST_DS_BASE     312 arch/x86/include/asm/vmx.h 	GUEST_DS_BASE                   = 0x0000680c,
GUEST_DS_BASE     306 tools/testing/selftests/kvm/include/x86_64/vmx.h 	GUEST_DS_BASE			= 0x0000680c,