Constant USBDEVFS_RELEASEINTERFACE 

pub const USBDEVFS_RELEASEINTERFACE: u32 = 2147767568;