Я работаю над ARM64. Я добавляю обработчик межпроцессорных прерываний (IPI) в void handle_IPI(int ipinr, struct pt_regs *regs) в linux/arch/arm64/kernel/smp.c.
Когда я получаю IPI, я хочу знать, какое ядро отправляет этот IPI. Например, ядро 3 отправляет IPI ядру 0, затем ядро 0 получает IPI, я хочу знать, что этот IPI происходит от ядра 3 в обработчике IPI.
Есть ли способ сделать это?
Большое спасибо.