x86_64_ipi.c 1.9 KB

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