| /* SPDX-License-Identifier: GPL-2.0 */ |
| /* |
| * PKUNITY Interrupt Controller (INTC) Registers |
| */ |
| /* |
| * INTC Level Reg INTC_ICLR. |
| */ |
| #define INTC_ICLR (PKUNITY_INTC_BASE + 0x0000) |
| /* |
| * INTC Mask Reg INTC_ICMR. |
| */ |
| #define INTC_ICMR (PKUNITY_INTC_BASE + 0x0004) |
| /* |
| * INTC Pending Reg INTC_ICPR. |
| */ |
| #define INTC_ICPR (PKUNITY_INTC_BASE + 0x0008) |
| /* |
| * INTC IRQ Pending Reg INTC_ICIP. |
| */ |
| #define INTC_ICIP (PKUNITY_INTC_BASE + 0x000C) |
| /* |
| * INTC REAL Pending Reg INTC_ICFP. |
| */ |
| #define INTC_ICFP (PKUNITY_INTC_BASE + 0x0010) |
| /* |
| * INTC Control Reg INTC_ICCR. |
| */ |
| #define INTC_ICCR (PKUNITY_INTC_BASE + 0x0014) |
| |
