pub const VMX_REASON_SIPI: u64 = 4;