Constant FILE_DEVICE_UCMTCPCI 

pub const FILE_DEVICE_UCMTCPCI: u32 = 88u32;