Constant NFCRMDDI_IOCTL_BASE 

pub const NFCRMDDI_IOCTL_BASE: u32 = 80u32;