| 123456789101112131415161718192021222324252627282930313233343536373839404142434445 |
- /**
- * @file ipi.h
- * @author fslongjin([email protected])
- * @brief 多核通信驱动
- * @version 0.1
- * @date 2022-04-07
- *
- * @copyright Copyright (c) 2022
- *
- */
- #pragma once
- #include <common/kprint.h>
- #include <driver/interrupt/apic/apic.h>
- /**
- * @brief 发送ipi消息
- *
- * @param dest_mode 目标模式
- * @param deliver_status 投递模式
- * @param level 信号驱动电平
- * @param trigger 触发模式
- * @param vector 中断向量
- * @param deliver_mode 投递模式
- * @param dest_shorthand 投递目标速记值
- * @param destination 投递目标
- */
- void 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);
- /**
- * @brief ipi中断处理注册函数
- *
- * @param irq_num 中断向量号
- * @param arg 参数
- * @param handler 处理函数
- * @param param 参数
- * @param controller 当前为NULL
- * @param irq_name ipi中断名
- * @return int 成功：0
- */
- int 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);
|
