Constant VDUSE_IOTLB_GET_FD 

pub const VDUSE_IOTLB_GET_FD: u32 = 3223355664;