CSR_HVICTL
ncsr_write(CSR_HVICTL, aia_hvictl_value(!!(csr->hvip & BIT(IRQ_VS_EXT))));
csr_write(CSR_HVICTL, aia_hvictl_value(false));