pub const kIOPlatformUUIDKey: *const c_char = _; // {alloc2224: *const i8}