Symbol: ipi_set
arch/loongarch/kvm/intc/ipi.c
242
ipi_set(vcpu, data);
arch/loongarch/kvm/intc/ipi.c
37
ipi_set(vcpu, BIT(data & 0x1f));