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.rk30xx
rk30xx_common.c	Rename ARM_INTRNG and MIPS_INTRNG to INTRNG. This will help with machine	2016-04-15 16:05:41 +00:00
rk30xx_gpio.c
rk30xx_grf.c
rk30xx_grf.h
rk30xx_machdep.c
rk30xx_mp.c	Almost all copies of platform_mp_init_secondary just called	2016-02-26 16:04:47 +00:00
rk30xx_pmu.c
rk30xx_pmu.h
rk30xx_wdog.c
rk30xx_wdog.h
std.rk30xx	Move ARM_L2_PIPT option to std.armv6 for all armv6 platforms.	2016-02-22 11:47:28 +00:00