2 Copyright © 2015, The AROS Development Team. All rights reserved.
7 #include <aros/kernel.h>
8 #include <aros/libcall.h>
10 #include <aros/types/spinlock_s.h>
11 #include <aros/arm/cpucontext.h>
13 #include "kernel_base.h"
17 #include "kernel_cpu.h"
18 #include "kernel_intern.h"
19 #include "kernel_debug.h"
20 #include "kernel_scheduler.h"
22 #if defined(__AROSEXEC_SMP__)
26 #include "kernel_ipi.h"
28 void handle_ipi(uint32_t ipi
, uint32_t ipi_data
)
30 D(bug("[KRN:IPI] %s: IPI Msg %08x Param %08x\n", __PRETTY_FUNCTION__
, ipi
, ipi_data
));
35 D(bug("[KRN:IPI] IPI_CAUSE:\n"));
40 D(bug("[KRN:IPI] IPI_DISPATCH:\n"));
45 D(bug("[KRN:IPI] IPI_SWITCH:\n"));
50 D(bug("[KRN:IPI] IPI_SCHEDULE:\n"));
55 D(bug("[KRN:IPI] IPI_CLI:\n"));
60 D(bug("[KRN:IPI] IPI_STI:\n"));
65 D(bug("[KRN:IPI] IPI_REBOOT:\n"));
70 D(bug("[KRN:IPI] IPI_ADDTASK:\n"));
75 D(bug("[KRN:IPI] IPI_REMTASK:\n"));