Andrew Turner 59c3cb81c1 Rename ARM_INTRNG and MIPS_INTRNG to INTRNG. This will help with machine ... independent code that needs to know about INTRNG such as PCI drivers. Obtained from: ABT Systems Ltd Sponsored by: The FreeBSD Foundation		2016-04-15 16:05:41 +00:00
..
files.qemu	Build ofw_cpu.c on all ARM configs using FDT. As we mve towards using the	2016-02-28 09:35:37 +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	Rename ARM_INTRNG and MIPS_INTRNG to INTRNG. This will help with machine	2016-04-15 16:05:41 +00:00
virt_machdep.c	Add SMP support to the ARM PLATFORM code. This will allow us to have	2016-02-28 13:43:58 +00:00
virt_mp.c	Add SMP support to the ARM PLATFORM code. This will allow us to have	2016-02-28 13:43:58 +00:00
virt_mp.h	Add SMP support to the ARM PLATFORM code. This will allow us to have	2016-02-28 13:43:58 +00:00