sel4_config::consts

Constant CTZ_NO_BUILTIN

Source 
pub const CTZ_NO_BUILTIN: bool = false;