Constant CONFIG_GETAUXVAL 

pub const CONFIG_GETAUXVAL: u32 = 1;