pub const VMCS_CTRL_TPR_THRESHOLD: u32 = 0x0000401c;