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