Constant sel4_config::consts::CTZ_NO_BUILTIN

pub const CTZ_NO_BUILTIN: bool = false;