ncsr_read
hviprio = ncsr_read(CSR_HVIPRIO1);
hviprio = ncsr_read(CSR_HVIPRIO2);
hviprio = ncsr_read(CSR_HVIPRIO1H);
hviprio = ncsr_read(CSR_HVIPRIO2);
hviprio = ncsr_read(CSR_HVIPRIO2H);
hviprio = ncsr_read(CSR_HVIPRIO1);
hviprio = ncsr_read(CSR_HVIPRIO2);
hviprio = ncsr_read(CSR_HVIPRIO1H);
hviprio = ncsr_read(CSR_HVIPRIO2);
hviprio = ncsr_read(CSR_HVIPRIO2H);
isel = ncsr_read(CSR_VSISELECT) & ISELECT_MASK;
csr->vsieh = ncsr_read(CSR_VSIEH);
csr->vsie = ncsr_read(CSR_VSIE);
hvip = ncsr_read(CSR_HVIP);
unsigned long vsstatus = ncsr_read(CSR_VSSTATUS);
vcpu->arch.guest_context.sepc = ncsr_read(CSR_VSTVEC);
t->next_cycles = ncsr_read(CSR_VSTIMECMP);
t->next_cycles |= (u64)ncsr_read(CSR_VSTIMECMPH) << 32;
t->next_cycles = ncsr_read(CSR_VSTIMECMP);