[−][src]Type Definition rpi_pico_sdk::__darwin_pid_t

type __darwin_pid_t = __int32_t;