xref: /openbmc/qemu/include/hw/intc/armv7m_nvic.h (revision 7a1dc45af581d2b643cdbf33c01fd96271616fbd)
1d2db1de6SPeter Maydell /*
2d2db1de6SPeter Maydell  * ARMv7M NVIC object
3d2db1de6SPeter Maydell  *
4d2db1de6SPeter Maydell  * Copyright (c) 2017 Linaro Ltd
5d2db1de6SPeter Maydell  * Written by Peter Maydell <peter.maydell@linaro.org>
6d2db1de6SPeter Maydell  *
7d2db1de6SPeter Maydell  * This code is licensed under the GPL version 2 or later.
8d2db1de6SPeter Maydell  */
9d2db1de6SPeter Maydell 
10d2db1de6SPeter Maydell #ifndef HW_ARM_ARMV7M_NVIC_H
11d2db1de6SPeter Maydell #define HW_ARM_ARMV7M_NVIC_H
12d2db1de6SPeter Maydell 
13*9ab1cf65SPhilippe Mathieu-Daudé #include "target/arm/cpu-qom.h"
14d2db1de6SPeter Maydell #include "hw/sysbus.h"
15d2db1de6SPeter Maydell #include "hw/timer/armv7m_systick.h"
16db1015e9SEduardo Habkost #include "qom/object.h"
17d2db1de6SPeter Maydell 
18d2db1de6SPeter Maydell #define TYPE_NVIC "armv7m_nvic"
199b772b19SPhilippe Mathieu-Daudé OBJECT_DECLARE_SIMPLE_TYPE(NVICState, NVIC)
20d2db1de6SPeter Maydell 
21d2db1de6SPeter Maydell /* Highest permitted number of exceptions (architectural limit) */
22d2db1de6SPeter Maydell #define NVIC_MAX_VECTORS 512
2317906a16SPeter Maydell /* Number of internal exceptions */
2417906a16SPeter Maydell #define NVIC_INTERNAL_VECTORS 16
25d2db1de6SPeter Maydell 
26d2db1de6SPeter Maydell typedef struct VecInfo {
27d2db1de6SPeter Maydell     /* Exception priorities can range from -3 to 255; only the unmodifiable
28d2db1de6SPeter Maydell      * priority values for RESET, NMI and HardFault can be negative.
29d2db1de6SPeter Maydell      */
30d2db1de6SPeter Maydell     int16_t prio;
31d2db1de6SPeter Maydell     uint8_t enabled;
32d2db1de6SPeter Maydell     uint8_t pending;
33d2db1de6SPeter Maydell     uint8_t active;
34d2db1de6SPeter Maydell     uint8_t level; /* exceptions <=15 never set level */
35d2db1de6SPeter Maydell } VecInfo;
36d2db1de6SPeter Maydell 
37db1015e9SEduardo Habkost struct NVICState {
38d2db1de6SPeter Maydell     /*< private >*/
39d2db1de6SPeter Maydell     SysBusDevice parent_obj;
40d2db1de6SPeter Maydell     /*< public >*/
41d2db1de6SPeter Maydell 
42d2db1de6SPeter Maydell     ARMCPU *cpu;
43d2db1de6SPeter Maydell 
44d2db1de6SPeter Maydell     VecInfo vectors[NVIC_MAX_VECTORS];
4517906a16SPeter Maydell     /* If the v8M security extension is implemented, some of the internal
4617906a16SPeter Maydell      * exceptions are banked between security states (ie there exists both
4717906a16SPeter Maydell      * a Secure and a NonSecure version of the exception and its state):
4817906a16SPeter Maydell      *  HardFault, MemManage, UsageFault, SVCall, PendSV, SysTick (R_PJHV)
4917906a16SPeter Maydell      * The rest (including all the external exceptions) are not banked, though
5017906a16SPeter Maydell      * they may be configurable to target either Secure or NonSecure state.
5117906a16SPeter Maydell      * We store the secure exception state in sec_vectors[] for the banked
5217906a16SPeter Maydell      * exceptions, and otherwise use only vectors[] (including for exceptions
5317906a16SPeter Maydell      * like SecureFault that unconditionally target Secure state).
5417906a16SPeter Maydell      * Entries in sec_vectors[] for non-banked exception numbers are unused.
5517906a16SPeter Maydell      */
5617906a16SPeter Maydell     VecInfo sec_vectors[NVIC_INTERNAL_VECTORS];
573b2e9344SPeter Maydell     /* The PRIGROUP field in AIRCR is banked */
583b2e9344SPeter Maydell     uint32_t prigroup[M_REG_NUM_BANKS];
59c4379b48SJulia Suvorova     uint8_t num_prio_bits;
60d2db1de6SPeter Maydell 
61e1be0a57SPeter Maydell     /* v8M NVIC_ITNS state (stored as a bool per bit) */
62e1be0a57SPeter Maydell     bool itns[NVIC_MAX_VECTORS];
63e1be0a57SPeter Maydell 
64e93bc2acSPeter Maydell     /* The following fields are all cached state that can be recalculated
65e93bc2acSPeter Maydell      * from the vectors[] and sec_vectors[] arrays and the prigroup field:
66e93bc2acSPeter Maydell      *  - vectpending
67e93bc2acSPeter Maydell      *  - vectpending_is_secure
68e93bc2acSPeter Maydell      *  - exception_prio
695255fcf8SPeter Maydell      *  - vectpending_prio
70d2db1de6SPeter Maydell      */
71d2db1de6SPeter Maydell     unsigned int vectpending; /* highest prio pending enabled exception */
72e93bc2acSPeter Maydell     /* true if vectpending is a banked secure exception, ie it is in
73e93bc2acSPeter Maydell      * sec_vectors[] rather than vectors[]
74e93bc2acSPeter Maydell      */
75e93bc2acSPeter Maydell     bool vectpending_is_s_banked;
76d2db1de6SPeter Maydell     int exception_prio; /* group prio of the highest prio active exception */
77673d8215SMichael Tokarev     int vectpending_prio; /* group prio of the exception in vectpending */
78d2db1de6SPeter Maydell 
79d2db1de6SPeter Maydell     MemoryRegion sysregmem;
80d2db1de6SPeter Maydell 
81d2db1de6SPeter Maydell     uint32_t num_irq;
82d2db1de6SPeter Maydell     qemu_irq excpout;
83d2db1de6SPeter Maydell     qemu_irq sysresetreq;
84db1015e9SEduardo Habkost };
85d2db1de6SPeter Maydell 
86165876f2SPhilippe Mathieu-Daudé /* Interface between CPU and Interrupt controller.  */
87165876f2SPhilippe Mathieu-Daudé /**
88165876f2SPhilippe Mathieu-Daudé  * armv7m_nvic_set_pending: mark the specified exception as pending
89165876f2SPhilippe Mathieu-Daudé  * @s: the NVIC
90165876f2SPhilippe Mathieu-Daudé  * @irq: the exception number to mark pending
91165876f2SPhilippe Mathieu-Daudé  * @secure: false for non-banked exceptions or for the nonsecure
92165876f2SPhilippe Mathieu-Daudé  * version of a banked exception, true for the secure version of a banked
93165876f2SPhilippe Mathieu-Daudé  * exception.
94165876f2SPhilippe Mathieu-Daudé  *
95165876f2SPhilippe Mathieu-Daudé  * Marks the specified exception as pending. Note that we will assert()
96165876f2SPhilippe Mathieu-Daudé  * if @secure is true and @irq does not specify one of the fixed set
97165876f2SPhilippe Mathieu-Daudé  * of architecturally banked exceptions.
98165876f2SPhilippe Mathieu-Daudé  */
99165876f2SPhilippe Mathieu-Daudé void armv7m_nvic_set_pending(NVICState *s, int irq, bool secure);
100165876f2SPhilippe Mathieu-Daudé /**
101165876f2SPhilippe Mathieu-Daudé  * armv7m_nvic_set_pending_derived: mark this derived exception as pending
102165876f2SPhilippe Mathieu-Daudé  * @s: the NVIC
103165876f2SPhilippe Mathieu-Daudé  * @irq: the exception number to mark pending
104165876f2SPhilippe Mathieu-Daudé  * @secure: false for non-banked exceptions or for the nonsecure
105165876f2SPhilippe Mathieu-Daudé  * version of a banked exception, true for the secure version of a banked
106165876f2SPhilippe Mathieu-Daudé  * exception.
107165876f2SPhilippe Mathieu-Daudé  *
108165876f2SPhilippe Mathieu-Daudé  * Similar to armv7m_nvic_set_pending(), but specifically for derived
109165876f2SPhilippe Mathieu-Daudé  * exceptions (exceptions generated in the course of trying to take
110165876f2SPhilippe Mathieu-Daudé  * a different exception).
111165876f2SPhilippe Mathieu-Daudé  */
112165876f2SPhilippe Mathieu-Daudé void armv7m_nvic_set_pending_derived(NVICState *s, int irq, bool secure);
113165876f2SPhilippe Mathieu-Daudé /**
114165876f2SPhilippe Mathieu-Daudé  * armv7m_nvic_set_pending_lazyfp: mark this lazy FP exception as pending
115165876f2SPhilippe Mathieu-Daudé  * @s: the NVIC
116165876f2SPhilippe Mathieu-Daudé  * @irq: the exception number to mark pending
117165876f2SPhilippe Mathieu-Daudé  * @secure: false for non-banked exceptions or for the nonsecure
118165876f2SPhilippe Mathieu-Daudé  * version of a banked exception, true for the secure version of a banked
119165876f2SPhilippe Mathieu-Daudé  * exception.
120165876f2SPhilippe Mathieu-Daudé  *
121165876f2SPhilippe Mathieu-Daudé  * Similar to armv7m_nvic_set_pending(), but specifically for exceptions
122165876f2SPhilippe Mathieu-Daudé  * generated in the course of lazy stacking of FP registers.
123165876f2SPhilippe Mathieu-Daudé  */
124165876f2SPhilippe Mathieu-Daudé void armv7m_nvic_set_pending_lazyfp(NVICState *s, int irq, bool secure);
125165876f2SPhilippe Mathieu-Daudé /**
126165876f2SPhilippe Mathieu-Daudé  * armv7m_nvic_get_pending_irq_info: return highest priority pending
127165876f2SPhilippe Mathieu-Daudé  *    exception, and whether it targets Secure state
128165876f2SPhilippe Mathieu-Daudé  * @s: the NVIC
129165876f2SPhilippe Mathieu-Daudé  * @pirq: set to pending exception number
130165876f2SPhilippe Mathieu-Daudé  * @ptargets_secure: set to whether pending exception targets Secure
131165876f2SPhilippe Mathieu-Daudé  *
132165876f2SPhilippe Mathieu-Daudé  * This function writes the number of the highest priority pending
133165876f2SPhilippe Mathieu-Daudé  * exception (the one which would be made active by
134165876f2SPhilippe Mathieu-Daudé  * armv7m_nvic_acknowledge_irq()) to @pirq, and sets @ptargets_secure
135165876f2SPhilippe Mathieu-Daudé  * to true if the current highest priority pending exception should
136165876f2SPhilippe Mathieu-Daudé  * be taken to Secure state, false for NS.
137165876f2SPhilippe Mathieu-Daudé  */
138165876f2SPhilippe Mathieu-Daudé void armv7m_nvic_get_pending_irq_info(NVICState *s, int *pirq,
139165876f2SPhilippe Mathieu-Daudé                                       bool *ptargets_secure);
140165876f2SPhilippe Mathieu-Daudé /**
141165876f2SPhilippe Mathieu-Daudé  * armv7m_nvic_acknowledge_irq: make highest priority pending exception active
142165876f2SPhilippe Mathieu-Daudé  * @s: the NVIC
143165876f2SPhilippe Mathieu-Daudé  *
144165876f2SPhilippe Mathieu-Daudé  * Move the current highest priority pending exception from the pending
145165876f2SPhilippe Mathieu-Daudé  * state to the active state, and update v7m.exception to indicate that
146165876f2SPhilippe Mathieu-Daudé  * it is the exception currently being handled.
147165876f2SPhilippe Mathieu-Daudé  */
148165876f2SPhilippe Mathieu-Daudé void armv7m_nvic_acknowledge_irq(NVICState *s);
149165876f2SPhilippe Mathieu-Daudé /**
150165876f2SPhilippe Mathieu-Daudé  * armv7m_nvic_complete_irq: complete specified interrupt or exception
151165876f2SPhilippe Mathieu-Daudé  * @s: the NVIC
152165876f2SPhilippe Mathieu-Daudé  * @irq: the exception number to complete
153165876f2SPhilippe Mathieu-Daudé  * @secure: true if this exception was secure
154165876f2SPhilippe Mathieu-Daudé  *
155165876f2SPhilippe Mathieu-Daudé  * Returns: -1 if the irq was not active
156165876f2SPhilippe Mathieu-Daudé  *           1 if completing this irq brought us back to base (no active irqs)
157165876f2SPhilippe Mathieu-Daudé  *           0 if there is still an irq active after this one was completed
158165876f2SPhilippe Mathieu-Daudé  * (Ignoring -1, this is the same as the RETTOBASE value before completion.)
159165876f2SPhilippe Mathieu-Daudé  */
160165876f2SPhilippe Mathieu-Daudé int armv7m_nvic_complete_irq(NVICState *s, int irq, bool secure);
161165876f2SPhilippe Mathieu-Daudé /**
162165876f2SPhilippe Mathieu-Daudé  * armv7m_nvic_get_ready_status(void *opaque, int irq, bool secure)
163165876f2SPhilippe Mathieu-Daudé  * @s: the NVIC
164165876f2SPhilippe Mathieu-Daudé  * @irq: the exception number to mark pending
165165876f2SPhilippe Mathieu-Daudé  * @secure: false for non-banked exceptions or for the nonsecure
166165876f2SPhilippe Mathieu-Daudé  * version of a banked exception, true for the secure version of a banked
167165876f2SPhilippe Mathieu-Daudé  * exception.
168165876f2SPhilippe Mathieu-Daudé  *
169165876f2SPhilippe Mathieu-Daudé  * Return whether an exception is "ready", i.e. whether the exception is
170165876f2SPhilippe Mathieu-Daudé  * enabled and is configured at a priority which would allow it to
171165876f2SPhilippe Mathieu-Daudé  * interrupt the current execution priority. This controls whether the
172165876f2SPhilippe Mathieu-Daudé  * RDY bit for it in the FPCCR is set.
173165876f2SPhilippe Mathieu-Daudé  */
174165876f2SPhilippe Mathieu-Daudé bool armv7m_nvic_get_ready_status(NVICState *s, int irq, bool secure);
175165876f2SPhilippe Mathieu-Daudé /**
176165876f2SPhilippe Mathieu-Daudé  * armv7m_nvic_raw_execution_priority: return the raw execution priority
177165876f2SPhilippe Mathieu-Daudé  * @s: the NVIC
178165876f2SPhilippe Mathieu-Daudé  *
179165876f2SPhilippe Mathieu-Daudé  * Returns: the raw execution priority as defined by the v8M architecture.
180165876f2SPhilippe Mathieu-Daudé  * This is the execution priority minus the effects of AIRCR.PRIS,
181165876f2SPhilippe Mathieu-Daudé  * and minus any PRIMASK/FAULTMASK/BASEPRI priority boosting.
182165876f2SPhilippe Mathieu-Daudé  * (v8M ARM ARM I_PKLD.)
183165876f2SPhilippe Mathieu-Daudé  */
184165876f2SPhilippe Mathieu-Daudé int armv7m_nvic_raw_execution_priority(NVICState *s);
185165876f2SPhilippe Mathieu-Daudé /**
186165876f2SPhilippe Mathieu-Daudé  * armv7m_nvic_neg_prio_requested: return true if the requested execution
187165876f2SPhilippe Mathieu-Daudé  * priority is negative for the specified security state.
188165876f2SPhilippe Mathieu-Daudé  * @s: the NVIC
189165876f2SPhilippe Mathieu-Daudé  * @secure: the security state to test
190165876f2SPhilippe Mathieu-Daudé  * This corresponds to the pseudocode IsReqExecPriNeg().
191165876f2SPhilippe Mathieu-Daudé  */
192165876f2SPhilippe Mathieu-Daudé #ifndef CONFIG_USER_ONLY
193165876f2SPhilippe Mathieu-Daudé bool armv7m_nvic_neg_prio_requested(NVICState *s, bool secure);
194165876f2SPhilippe Mathieu-Daudé #else
armv7m_nvic_neg_prio_requested(NVICState * s,bool secure)195165876f2SPhilippe Mathieu-Daudé static inline bool armv7m_nvic_neg_prio_requested(NVICState *s, bool secure)
196165876f2SPhilippe Mathieu-Daudé {
197165876f2SPhilippe Mathieu-Daudé     return false;
198165876f2SPhilippe Mathieu-Daudé }
199165876f2SPhilippe Mathieu-Daudé #endif
200165876f2SPhilippe Mathieu-Daudé #ifndef CONFIG_USER_ONLY
201165876f2SPhilippe Mathieu-Daudé bool armv7m_nvic_can_take_pending_exception(NVICState *s);
202165876f2SPhilippe Mathieu-Daudé #else
armv7m_nvic_can_take_pending_exception(NVICState * s)203165876f2SPhilippe Mathieu-Daudé static inline bool armv7m_nvic_can_take_pending_exception(NVICState *s)
204165876f2SPhilippe Mathieu-Daudé {
205165876f2SPhilippe Mathieu-Daudé     return true;
206165876f2SPhilippe Mathieu-Daudé }
207165876f2SPhilippe Mathieu-Daudé #endif
208165876f2SPhilippe Mathieu-Daudé 
209d2db1de6SPeter Maydell #endif
210