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

type __darwin_pid_t = __int32_t;