ncsr_write
ncsr_write(CSR_HVIPH, vcpu->arch.aia_context.guest_csr.hviph);
ncsr_write(CSR_HVICTL, aia_hvictl_value(!!(csr->hvip & BIT(IRQ_VS_EXT))));
ncsr_write(CSR_HVIPRIO1, hviprio);
ncsr_write(CSR_HVIPRIO2, hviprio);
ncsr_write(CSR_HVIPRIO1H, hviprio);
ncsr_write(CSR_HVIPRIO2, hviprio);
ncsr_write(CSR_HVIPRIO2H, hviprio);
ncsr_write(CSR_HGATP, hgatp);
ncsr_write(CSR_HVIP, csr->hvip);
ncsr_write(CSR_VSSTATUS, vsstatus);
ncsr_write(CSR_VSCAUSE, trap->scause);
ncsr_write(CSR_VSTVAL, trap->stval);
ncsr_write(CSR_VSEPC, trap->sepc);
ncsr_write(CSR_HTIMEDELTA, (u32)(gt->time_delta));
ncsr_write(CSR_HTIMEDELTAH, (u32)(gt->time_delta >> 32));
ncsr_write(CSR_HTIMEDELTA, gt->time_delta);
ncsr_write(CSR_VSTIMECMP, ULONG_MAX);
ncsr_write(CSR_VSTIMECMPH, (u32)(t->next_cycles >> 32));
ncsr_write(CSR_VSTIMECMP, (u32)(t->next_cycles));
ncsr_write(CSR_VSTIMECMP, t->next_cycles);
ncsr_write(CSR_VSTIMECMP, ULONG_MAX);
ncsr_write(CSR_VSTIMECMPH, ncycles >> 32);
ncsr_write(CSR_VSTIMECMP, (u32)ncycles);
ncsr_write(CSR_VSTIMECMP, ncycles);