Constant ttspico_sys::PICO_RESET_FULL

pub const PICO_RESET_FULL: u32 = 0;