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