This source file contains the SMP support some Arm devices. More...
#include <rtems/score/smpimpl.h>
#include <libcpu/arm-cp15.h>
#include <bsp/irq.h>
This source file contains the SMP support some Arm devices.