sel4_config::consts

Constant CTZ_32

Source 
pub const CTZ_32: bool = false;