Andrew Turner 75f48c23ea Add external PLATFORM access on arm, and use it in the pl310 driver. ... This allows multiple instances of SoCs that use the pl310 driver to be built within the same kernel: * Add access to the platform_t object from outside platform.c * Use this with the pl310 driver There is a new platform_pl310 interface to replace the existing code. SoCs need to implement the init method, and if they have special requirements to write to the two registers we care about will also need to implement the write_ctrl and write_debug methods. Differential Revision: https://reviews.freebsd.org/D11546		2017-07-11 16:30:16 +00:00
..
pandaboard
files.omap4
omap4_gpio.c
omap4_l2cache.c	Add external PLATFORM access on arm, and use it in the pl310 driver.	2017-07-11 16:30:16 +00:00
omap4_machdep.h	Add external PLATFORM access on arm, and use it in the pl310 driver.	2017-07-11 16:30:16 +00:00
omap4_mp.c
omap4_prcm_clks.c
omap4_reg.h
omap4_scm_padconf.c
omap4_scm_padconf.h
omap4_smc.h
omap4_wugen.c
std.omap4