write_csr_perfctrl2
write_csr_perfctrl2(val);
context->perf_ctrl[2] = write_csr_perfctrl2(0);
write_csr_perfctrl2(context->perf_ctrl[2]);