Searched refs:ipi_regiserIPI (Results 1 – 4 of 4) sorted by relevance
| /DragonOS-0.1.8/kernel/src/arch/x86_64/ |
| D | x86_64_ipi.h | 43 int ipi_regiserIPI(uint64_t irq_num, void *arg,
|
| D | x86_64_ipi.c | 38 int ipi_regiserIPI(uint64_t irq_num, void *arg, in ipi_regiserIPI() function
|
| /DragonOS-0.1.8/kernel/src/smp/ |
| D | ipi.h | 37 extern int ipi_regiserIPI(uint64_t irq_num, void *arg,
|
| D | smp.c | 69 ipi_regiserIPI(KICK_CPU_IRQ_NUM, NULL, &__smp_kick_cpu_handler, NULL, NULL, "IPI kick cpu"); in smp_init()
70 …ipi_regiserIPI(FLUSH_TLB_IRQ_NUM, NULL, &__smp__flush_tlb_ipi_handler, NULL, NULL, "IPI flush tlb"… in smp_init()
|