pub const VMCS_CTRL_MSR_BITMAPS: u32 = 0x00002004;