pub const ACRN_IOCTL_VM_INTR_MONITOR: u32 = 1074307620;