10.1 EDK，xps_intc_v1_00_a – 中断控制器偶尔不会注册边沿敏感中断

问题描述

使用带边沿敏感中断输入的xps_intc_v1_00_a中断控制器时，不会捕获中断。

解决/修复方法

捕获中断的失败是由捕获逻辑中的同步错误引起的。此问题已在EDK 11.1中发布的最新版本的中断控制器xps_intc_v2_00_a中得到修复。