Type Definition mach_port_guard_exception_codes
uikit_sys
type mach_port_guard_exception_codes = u32;