| Commit message (Collapse) | Author | Age | Files | Lines |
|
|
|
|
| |
Make the GIC interrupt controller support a subgroup of the generic interrupt
controller support.
|
|
|
|
|
|
|
|
| |
In addtion to 1023, the GICC_IAR register may return 1022 as a special value.
Simply check for a valid interrupt vector for the dispatching.
Check the GICC_IAR again after the dispatch to quickly process a next interrupt
without having to go through the interrupt prologue and epiloge.
|
|
|
|
|
| |
Fixing the debug mask flag broke nested interrupts. This restores that
functionality.
|
|
|
|
|
|
| |
The existing code is functional but inccorrect and blindly modifies the
other masking bits. It is important to preserve those other bits since
they control masking of important system events.
|
|
|
|
|
|
|
|
|
| |
Fixes:
bsps/shared/dev/irq/arm-gicv2.c:53:6: warning: no previous prototype for
'bsp_interrupt_dispatch' [-Wmissing-prototypes]
Close #4227.
|
|
This avoids a function call overhead in the interrupt dispatching.
Update #4202.
|