hw/intc/armv7m_nvic.h

27     /* Exception priorities can range from -3 to 255; only the unmodifiable
47      * a Secure and a NonSecure version of the exception and its state):
51      * We store the secure exception state in sec_vectors[] for the banked
54      * Entries in sec_vectors[] for non-banked exception numbers are unused.
71     unsigned int vectpending; /* highest prio pending enabled exception */
72     /* true if vectpending is a banked secure exception, ie it is in
76     int exception_prio; /* group prio of the highest prio active exception */
77     int vectpending_prio; /* group prio of the exception in vectpending */
88  * armv7m_nvic_set_pending: mark the specified exception as pending
90  * @irq: the exception number to mark pending
92  * version of a banked exception, true for the secure version of a banked
93  * exception.
95  * Marks the specified exception as pending. Note that we will assert()
101  * armv7m_nvic_set_pending_derived: mark this derived exception as pending
103  * @irq: the exception number to mark pending
105  * version of a banked exception, true for the secure version of a banked
106  * exception.
110  * a different exception).
114  * armv7m_nvic_set_pending_lazyfp: mark this lazy FP exception as pending
116  * @irq: the exception number to mark pending
118  * version of a banked exception, true for the secure version of a banked
119  * exception.
127  *    exception, and whether it targets Secure state
129  * @pirq: set to pending exception number
130  * @ptargets_secure: set to whether pending exception targets Secure
133  * exception (the one which would be made active by
135  * to true if the current highest priority pending exception should
141  * armv7m_nvic_acknowledge_irq: make highest priority pending exception active
144  * Move the current highest priority pending exception from the pending
145  * state to the active state, and update v7m.exception to indicate that
146  * it is the exception currently being handled.
150  * armv7m_nvic_complete_irq: complete specified interrupt or exception
152  * @irq: the exception number to complete
153  * @secure: true if this exception was secure
164  * @irq: the exception number to mark pending
166  * version of a banked exception, true for the secure version of a banked
167  * exception.
169  * Return whether an exception is "ready", i.e. whether the exception is