pub const VMX_REASON_TPR_THRESHOLD: u64 = 43;