Searched refs:ipi_send_IPI (Results 1 – 4 of 4) sorted by relevance
| /DragonOS-0.1.2/kernel/src/arch/x86_64/ |
| D | x86_64_ipi.h | 29 void ipi_send_IPI(uint32_t dest_mode, uint32_t deliver_status, uint32_t level, uint32_t trigger,
|
| D | x86_64_ipi.c | 4 void ipi_send_IPI(uint32_t dest_mode, uint32_t deliver_status, uint32_t level, uint32_t trigger, in ipi_send_IPI() function
|
| /DragonOS-0.1.2/kernel/src/smp/ |
| D | ipi.h | 23 extern void ipi_send_IPI(uint32_t dest_mode, uint32_t deliver_status, uint32_t level, uint32_t trig…
|
| D | smp.c | 53 …ipi_send_IPI(DEST_PHYSICAL, IDLE, ICR_LEVEL_DE_ASSERT, EDGE_TRIGGER, 0x00, ICR_INIT, ICR_ALL_EXCLU… in smp_init()
114 …ipi_send_IPI(DEST_PHYSICAL, IDLE, ICR_LEVEL_DE_ASSERT, EDGE_TRIGGER, 0x20, ICR_Start_up, ICR_No_Sh… in smp_init()
117 …ipi_send_IPI(DEST_PHYSICAL, IDLE, ICR_LEVEL_DE_ASSERT, EDGE_TRIGGER, 0x20, ICR_Start_up, ICR_No_Sh… in smp_init()
|