Constant sel4_common::sel4_config::CONFIG_RESET_CHUNK_BITS

pub const CONFIG_RESET_CHUNK_BITS: usize = 8;