CTZ_32

sel4_config::consts

Constant CTZ_32 

Source 
pub const CTZ_32: bool = false;