···590590 csr_set(CSR_HIE, BIT(IRQ_S_GEXT));591591 /* Enable IRQ filtering for overflow interrupt only if sscofpmf is present */592592 if (__riscv_isa_extension_available(NULL, RISCV_ISA_EXT_SSCOFPMF))593593- csr_write(CSR_HVIEN, BIT(IRQ_PMU_OVF));593593+ csr_set(CSR_HVIEN, BIT(IRQ_PMU_OVF));594594}595595596596void kvm_riscv_aia_disable(void)