1 /* SPDX-License-Identifier: GPL-2.0-only */ 2 /* 3 * Copyright (C) 2021 Western Digital Corporation or its affiliates. 4 * Copyright (C) 2022 Ventana Micro Systems Inc. 5 */ 6 #ifndef __KVM_RISCV_AIA_IMSIC_H 7 #define __KVM_RISCV_AIA_IMSIC_H 8 9 #include <linux/types.h> 10 #include <asm/csr.h> 11 12 #define IMSIC_MMIO_PAGE_SHIFT 12 13 #define IMSIC_MMIO_PAGE_SZ (1UL << IMSIC_MMIO_PAGE_SHIFT) 14 #define IMSIC_MMIO_PAGE_LE 0x00 15 #define IMSIC_MMIO_PAGE_BE 0x04 16 17 #define IMSIC_MIN_ID 63 18 #define IMSIC_MAX_ID 2048 19 20 #define IMSIC_EIDELIVERY 0x70 21 22 #define IMSIC_EITHRESHOLD 0x72 23 24 #define IMSIC_EIP0 0x80 25 #define IMSIC_EIP63 0xbf 26 #define IMSIC_EIPx_BITS 32 27 28 #define IMSIC_EIE0 0xc0 29 #define IMSIC_EIE63 0xff 30 #define IMSIC_EIEx_BITS 32 31 32 #define IMSIC_FIRST IMSIC_EIDELIVERY 33 #define IMSIC_LAST IMSIC_EIE63 34 35 #define IMSIC_MMIO_SETIPNUM_LE 0x00 36 #define IMSIC_MMIO_SETIPNUM_BE 0x04 37 38 #endif 39