kernel/fiasco/src/kern/ia32/entry-mp.S

   1 #include "idt_init.h"
   2 #include "tcboffset.h"
   3 #include <low_level.h>
   4
   5         .p2align 4
   6         .globl entry_ipi_remote_request
   7 entry_ipi_remote_request:
   8         SAVE_SCRATCH
   9         call    handle_remote_cpu_requests
  10         RESTORE_SCRATCH
  11         IRET_INSN
  12
  13         .p2align 4
  14         .globl entry_ipi
  15 entry_ipi:
  16         SAVE_SCRATCH
  17         call    ipi_remote_call
  18         RESTORE_SCRATCH
  19         IRET_INSN
  20
  21         .p2align 4
  22         .globl entry_debug_ipi
  23 entry_debug_ipi:
  24         push    $(0)
  25         push    $(0xee)
  26         save_all_regs
  27         jmp slowtraps