SYS_CNTKCTL_EL12
case CNTKCTL_EL1: val = read_sysreg_s(SYS_CNTKCTL_EL12); break;
case CNTKCTL_EL1: write_sysreg_s(val, SYS_CNTKCTL_EL12); break;
{ SYS_DESC(SYS_CNTKCTL_EL12), access_cntkctl_el12 },