pub const ACRN_IOCTL_DESTROY_IOREQ_CLIENT: u32 = 41524;