write_csr_perfctrl3
write_csr_perfctrl3(val);
context->perf_ctrl[3] = write_csr_perfctrl3(0);
write_csr_perfctrl3(context->perf_ctrl[3]);