Constant rpi_pico_sdk::SRAM4_BASE

pub const SRAM4_BASE: u32 = 537133056;