andrew e91597da47 Remove IPI_IRQ_START and IPI_IRQ_END from the arm kernel config files. ... These are unneeded with INTRNG.		2018-07-28 06:46:10 +00:00
..
files.qemu	Revert r327250 as it broke the build for some armv6 kernel and all armv4/5	2017-12-28 07:31:14 +00:00
std.virt	Remove IPI_IRQ_START and IPI_IRQ_END from the arm kernel config files.	2018-07-28 06:46:10 +00:00
virt_machdep.c
virt_mp.c
virt_mp.h