Constant ACRN_IOCTL_NOTIFY_REQUEST_FINISH 

pub const ACRN_IOCTL_NOTIFY_REQUEST_FINISH: u32 = 1074307633;