Constant rpi_pico_sdk::PPB_BASE

pub const PPB_BASE: u32 = 3758096384;