aarch64: expose aarch64_interrupt_dispatch as a symbol

This commit is contained in:
K. Lange 2022-02-22 09:52:37 +09:00
parent c180959f4e
commit 5019c047c5

View File

@ -339,7 +339,7 @@ char _ret_from_preempt_source[1];
#define EOI(x) do { \
gicc_regs[4] = (x); \
} while (0)
static void aarch64_interrupt_dispatch(int from_wfi) {
void aarch64_interrupt_dispatch(int from_wfi) {
uint32_t iar = gicc_regs[3];
uint32_t irq = iar & 0x3FF;
uint32_t cpu = (iar >> 10) & 0x7;