75f48c23ea
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 |
||
---|---|---|
.. | ||
files.zynq7 | ||
std.zynq7 | ||
uart_dev_cdnc.c | ||
zy7_devcfg.c | ||
zy7_ehci.c | ||
zy7_gpio.c | ||
zy7_l2cache.c | ||
zy7_machdep.c | ||
zy7_machdep.h | ||
zy7_mp.c | ||
zy7_reg.h | ||
zy7_slcr.c | ||
zy7_slcr.h |