pub const kIOMapUserOptionsMask: c_int = 0x00000fff;