| /* SPDX-License-Identifier: GPL-2.0 */ | |
| /* | |
| * Copyright (C) 2025 Loongson Technology Corporation Limited | |
| */ | |
| #ifndef __ASM_KVM_DMSINTC_H | |
| #define __ASM_KVM_DMSINTC_H | |
| #include <linux/kvm_types.h> | |
| struct loongarch_dmsintc { | |
| struct kvm *kvm; | |
| uint64_t msg_addr_base; | |
| uint64_t msg_addr_size; | |
| uint32_t cpu_mask; | |
| }; | |
| struct dmsintc_state { | |
| atomic64_t vector_map[4]; | |
| }; | |
| int kvm_loongarch_register_dmsintc_device(void); | |
| void kvm_loongarch_unregister_dmsintc_device(void); | |
| void dmsintc_inject_irq(struct kvm_vcpu *vcpu); | |
| int dmsintc_set_irq(struct kvm *kvm, u64 addr, int data, int level); | |
| int dmsintc_deliver_msi_to_vcpu(struct kvm *kvm, struct kvm_vcpu *vcpu, u32 vector, int level); | |
| #endif |