Constant VMCS_CTRL_VMEXIT_MSR_LOAD_ADDR 

pub const VMCS_CTRL_VMEXIT_MSR_LOAD_ADDR: uint32_t = 0x00002008;