Constant sel4_config::consts::CTZ_32

pub const CTZ_32: bool = false;