kvm_riscv_vcpu_aia_update_hvip
void kvm_riscv_vcpu_aia_update_hvip(struct kvm_vcpu *vcpu);
kvm_riscv_vcpu_aia_update_hvip(vcpu);