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