BSP tm27 header. More...
#include <dev/irq/arm-gic-tm27.h>
Go to the source code of this file.
BSP tm27 header.