pub const VMCS_CTRL_EXC_BITMAP: u32 = 0x00004004;