--- /dev/null
+/* SPDX-License-Identifier: GPL-2.0-only */
+/*
+ * Copyright (C) 2021 Western Digital Corporation or its affiliates.
+ * Copyright (C) 2022 Ventana Micro Systems Inc.
+ */
+#ifndef __KVM_RISCV_AIA_IMSIC_H
+#define __KVM_RISCV_AIA_IMSIC_H
+
+#include <linux/types.h>
+#include <asm/csr.h>
+
+#define IMSIC_MMIO_PAGE_SHIFT          12
+#define IMSIC_MMIO_PAGE_SZ             (1UL << IMSIC_MMIO_PAGE_SHIFT)
+#define IMSIC_MMIO_PAGE_LE             0x00
+#define IMSIC_MMIO_PAGE_BE             0x04
+
+#define IMSIC_MIN_ID                   63
+#define IMSIC_MAX_ID                   2048
+
+#define IMSIC_EIDELIVERY               0x70
+
+#define IMSIC_EITHRESHOLD              0x72
+
+#define IMSIC_EIP0                     0x80
+#define IMSIC_EIP63                    0xbf
+#define IMSIC_EIPx_BITS                        32
+
+#define IMSIC_EIE0                     0xc0
+#define IMSIC_EIE63                    0xff
+#define IMSIC_EIEx_BITS                        32
+
+#define IMSIC_FIRST                    IMSIC_EIDELIVERY
+#define IMSIC_LAST                     IMSIC_EIE63
+
+#define IMSIC_MMIO_SETIPNUM_LE         0x00
+#define IMSIC_MMIO_SETIPNUM_BE         0x04
+
+#endif
 
 #include <linux/percpu.h>
 #include <linux/spinlock.h>
 #include <asm/hwcap.h>
+#include <asm/kvm_aia_imsic.h>
 
 struct aia_hgei_control {
        raw_spinlock_t lock;
        return KVM_INSN_CONTINUE_NEXT_SEPC;
 }
 
-#define IMSIC_FIRST    0x70
-#define IMSIC_LAST     0xff
 int kvm_riscv_vcpu_aia_rmw_ireg(struct kvm_vcpu *vcpu, unsigned int csr_num,
                                unsigned long *val, unsigned long new_val,
                                unsigned long wr_mask)