CTZ_NO_BUILTIN

sel4_config::consts

Constant CTZ_NO_BUILTIN 

Source 
pub const CTZ_NO_BUILTIN: bool = false;