Stores specific platform parameters. More...
#include <irq_extra.h>
Stores specific platform parameters.