1 #include "x86_64_ipi.h"
2 #include <driver/interrupt/apic/apic.h>
3 
ipi_send_IPI(uint32_t dest_mode,uint32_t deliver_status,uint32_t level,uint32_t trigger,uint32_t vector,uint32_t deliver_mode,uint32_t dest_shorthand,uint32_t destination)4 void ipi_send_IPI(uint32_t dest_mode, uint32_t deliver_status, uint32_t level, uint32_t trigger,
5                   uint32_t vector, uint32_t deliver_mode, uint32_t dest_shorthand, uint32_t destination)
6 {
7     struct INT_CMD_REG icr_entry;
8     icr_entry.dest_mode = dest_mode;
9     icr_entry.deliver_status = deliver_status;
10     icr_entry.res_1 = 0;
11     icr_entry.level = level;
12     icr_entry.trigger = trigger;
13     icr_entry.res_2 = 0;
14     icr_entry.res_3 = 0;
15 
16     icr_entry.vector = vector;
17     icr_entry.deliver_mode = deliver_mode;
18     icr_entry.dest_shorthand = dest_shorthand;
19 
20     // x2APIC下,ICR寄存器地址为0x830
21     // xAPIC下则为0xfee00300(31-0) 0xfee00310 (63-32)
22     if (CURRENT_APIC_STATE == APIC_X2APIC_ENABLED) // x2APIC
23     {
24         icr_entry.destination.x2apic_destination = destination;
25         wrmsr(0x830, *(unsigned long *)&icr_entry); // 发送ipi
26     }
27     else // xAPIC
28     {
29 
30         icr_entry.destination.apic_destination.dest_field = destination & 0xff;
31         icr_entry.destination.apic_destination.res_4 = 0;
32         // 先向高32bit写数据,然后再向低32bit写数据,不能调转
33         *(uint32_t *)(APIC_LOCAL_APIC_VIRT_BASE_ADDR + 0x310) = (uint32_t)(((*(ul *)&icr_entry) >> 32) & 0xffffffff);
34         *(uint32_t *)(APIC_LOCAL_APIC_VIRT_BASE_ADDR + 0x300) = (uint32_t)((*(ul *)&icr_entry) & 0xffffffff);
35     }
36 }
37 
ipi_regiserIPI(uint64_t irq_num,void * arg,void (* handler)(uint64_t irq_num,uint64_t param,struct pt_regs * regs),uint64_t param,hardware_intr_controller * controller,char * irq_name)38 int ipi_regiserIPI(uint64_t irq_num, void *arg,
39                    void (*handler)(uint64_t irq_num, uint64_t param, struct pt_regs *regs),
40                    uint64_t param, hardware_intr_controller *controller, char *irq_name)
41 {
42     irq_desc_t *p = &SMP_IPI_desc[irq_num - 200];
43     p->controller = NULL; // 由于ipi不涉及到具体的硬件操作,因此不需要controller
44     p->irq_name = irq_name;
45     p->parameter = param;
46     p->flags = 0;
47     p->handler = handler;
48     return 0;
49 }