CSR_HSTATUS
old_hstatus = csr_read(CSR_HSTATUS);
csr_write(CSR_HSTATUS, new_hstatus);
csr_write(CSR_HSTATUS, old_hstatus);
old_hstatus = csr_read(CSR_HSTATUS);
csr_write(CSR_HSTATUS, new_hstatus);
csr_write(CSR_HSTATUS, old_hstatus);
old_hstatus = csr_read(CSR_HSTATUS);
csr_write(CSR_HSTATUS, new_hstatus);
csr_write(CSR_HSTATUS, old_hstatus);
old_hstatus = csr_read(CSR_HSTATUS);
csr_write(CSR_HSTATUS, new_hstatus);
csr_write(CSR_HSTATUS, old_hstatus);
nacl_csr_read(nsh, CSR_HSTATUS);
CSR_HSTATUS, gcntx->hstatus);
hcntx->hstatus = csr_swap(CSR_HSTATUS, gcntx->hstatus);
gcntx->hstatus = csr_swap(CSR_HSTATUS, hcntx->hstatus);
hcntx->hstatus = csr_swap(CSR_HSTATUS, gcntx->hstatus);
gcntx->hstatus = csr_swap(CSR_HSTATUS, hcntx->hstatus);
csr_write(CSR_HSTATUS, old_hstatus);
old_hstatus = csr_swap(CSR_HSTATUS, vcpu->arch.guest_context.hstatus);