write_csr_perfctrl1
write_csr_perfctrl1(val);
context->perf_ctrl[1] = write_csr_perfctrl1(0);
write_csr_perfctrl1(context->perf_ctrl[1]);