请注意，本文内容源自机器翻译，可能存在语法或其它翻译错误，仅供参考。如需获取准确内容，请参阅链接中的英语原文或自行翻译。
器件型号：AWRL1432 您好专家
客户正在为 BSD 用例读取 FreeRTOS 和 HWA 驱动程序的代码。
他们发现 configMAX_SYSCALL_INTERRUPT_PRIVATE 为 0xE0、HWA 的硬件中断优先级为1、这意味着硬件中断的优先级高于 configMAX_SYSCALL_INTERRUPT_PRIVATE。
但是、根据 FreeRTOS 文档、 我们绝不应在 优先级高于 configMAX_SYSCALL_INTERRUPT_PRIORY 的中断处理程序中调用 FreeRTOS API。
因此、在 HWA 中断处理程序中调用 semephore_post 可能是非法的、 这个语句是正确的吗？
谢谢
肯
