CSR_HVIPH
ncsr_write(CSR_HVIPH, vcpu->arch.aia_context.guest_csr.hviph);
nacl_csr_write(nsh, CSR_HVIPH, csr->hviph);
csr_write(CSR_HVIPH, csr->hviph);
csr->hviph = nacl_csr_read(nsh, CSR_HVIPH);
csr->hviph = csr_read(CSR_HVIPH);
csr_write(CSR_HVIPH, 0x0);