[][src]Constant rpi_pico_sdk_sys::XOSC_MHZ

pub const XOSC_MHZ: u32 = 12;