Andrew Turner 243b36c321 Remove platform_ipi_send, it's an unneeded as all implementations are ... identical. Sponsored by: ABT Systems Ltd		2016-02-25 20:48:23 +00:00
..
files.qemu	Create device options for the two common ARM timers.	2015-11-21 16:23:56 +00:00
std.virt	Move ARM_L2_PIPT option to std.armv6 for all armv6 platforms.	2016-02-22 11:47:28 +00:00
virt_common.c	Fix a logic inversion when checking for ARM_INTRNG	2016-02-10 16:44:20 +00:00
virt_machdep.c
virt_mp.c	Remove platform_ipi_send, it's an unneeded as all implementations are	2016-02-25 20:48:23 +00:00