Type Definition __darwin_mach_port_t
rpi_pico_sdk
type __darwin_mach_port_t = __darwin_mach_port_name_t;