kvm_loongarch_register_ipi_device
int kvm_loongarch_register_ipi_device(void);
ret = kvm_loongarch_register_ipi_device();