CSR_STIMECMPH
context->stimecmph = csr_read(CSR_STIMECMPH);
csr_write(CSR_STIMECMPH, context->stimecmph);
csr_write(CSR_STIMECMPH, ULONG_MAX);
csr_write(CSR_STIMECMPH, next_tval >> 32);