Constant ACRN_IOCTL_DESTROY_IOREQ_CLIENT 

pub const ACRN_IOCTL_DESTROY_IOREQ_CLIENT: u32 = 41524;