Searched refs:ipi_regiserIPI (Results 1 – 4 of 4) sorted by relevance
| /DragonOS-0.1.2/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.2/kernel/src/smp/ |
| D | ipi.h | 37 extern int ipi_regiserIPI(uint64_t irq_num, void *arg,
|
| D | smp.c | 51 ipi_regiserIPI(0xc8, NULL, &ipi_0xc8_handler, NULL, NULL, "IPI 0xc8"); in smp_init()
|