#include <linux/init.h>
#include <linux/smp.h>
#include <asm/hardware/gic.h>
Go to the source code of this file.
Definition at line 17 of file platsmp.c.