VMCS12_OFFSET       7 arch/x86/kvm/vmx/vmcs12.c #define FIELD(number, name)	[ROL16(number, 6)] = VMCS12_OFFSET(name)
VMCS12_OFFSET      10 arch/x86/kvm/vmx/vmcs12.c 	[ROL16(number##_HIGH, 6)] = VMCS12_OFFSET(name) + sizeof(u32)