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

type __darwin_dev_t = __int32_t;