Constant FSL_HV_IOCTL_DOORBELL 

pub const FSL_HV_IOCTL_DOORBELL: u32 = 3221794566;