CSR_HVIPRIO1H
nacl_csr_write(nsh, CSR_HVIPRIO1H, csr->hviprio1h);
csr_write(CSR_HVIPRIO1H, csr->hviprio1h);
csr->hviprio1h = nacl_csr_read(nsh, CSR_HVIPRIO1H);
csr->hviprio1h = csr_read(CSR_HVIPRIO1H);
hviprio = ncsr_read(CSR_HVIPRIO1H);
hviprio = ncsr_read(CSR_HVIPRIO1H);
ncsr_write(CSR_HVIPRIO1H, hviprio);
csr_write(CSR_HVIPRIO1H, 0x0);