14.2 EDK / SDK  – 如果在arm-xilinx-linux-gnueabi-gcc中使用dmb或sev函数,则会发生编译错误-Xilinx-AMD社区-FPGA CPLD-ChipDebug