Constant ARM64_RegisterCntkctlEl1 

pub const ARM64_RegisterCntkctlEl1: REGISTER_ID;