[][src]Constant rpi_pico_sdk_sys::UINT64_MAX

pub const UINT64_MAX: i32 = -1;