sel4_config::consts

Constant CTZ_64

Source 
pub const CTZ_64: bool = false;