andrew 5571950d43 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.rk30xx	Create device options for the two common ARM timers.	2015-11-21 16:23:56 +00:00
rk30xx_common.c	Stop defining fdt_pic_table when building for ARM_INTRNG.	2016-02-11 11:49:27 +00:00
rk30xx_gpio.c	Stop using machine/fdt.h in the arm kernel code when we don't need it.	2015-04-04 21:34:26 +00:00
rk30xx_grf.c	Stop using machine/fdt.h in the arm kernel code when we don't need it.	2015-04-04 21:34:26 +00:00
rk30xx_grf.h	Switch to my freebsd.org emal address in copyright.	2014-03-25 08:31:47 +00:00
rk30xx_machdep.c	Add the start of the ARM platform code. This is based on the PowerPC	2014-05-17 11:27:36 +00:00
rk30xx_mp.c	Remove platform_ipi_send, it's an unneeded as all implementations are	2016-02-25 20:48:23 +00:00
rk30xx_pmu.c	Stop using machine/fdt.h in the arm kernel code when we don't need it.	2015-04-04 21:34:26 +00:00
rk30xx_pmu.h	Switch to my freebsd.org emal address in copyright.	2014-03-25 08:31:47 +00:00
rk30xx_wdog.c	Switch to my freebsd.org emal address in copyright.	2014-03-25 08:31:47 +00:00
rk30xx_wdog.h	Switch to my freebsd.org emal address in copyright.	2014-03-25 08:31:47 +00:00
std.rk30xx	Move ARM_L2_PIPT option to std.armv6 for all armv6 platforms.	2016-02-22 11:47:28 +00:00