Type Definition rpi_pico_sdk::__darwin_mach_port_t

type __darwin_mach_port_t = __darwin_mach_port_name_t;