Constant FSL_HV_IOCTL_DOORBELL

pub const FSL_HV_IOCTL_DOORBELL: u32 = 3221794566;