pub const kIOPlatformSerialNumberKey: *const c_char = _; // {alloc2226: *const i8}