pub const ACRN_IOCTL_INJECT_MSI: u32 = 1074831907;