History log of /seL4-test-master/projects/util_libs/libplatsupport/src/mach/zynq/mux.c
Revision Date Author Comments
# 02d04caa 15-Sep-2020 Axel Heider <axelheider@gmx.de>

supress-gcc-warnings: add const qualifier

Signed-off-by: Axel Heider <axelheider@gmx.de>


# e31de929 15-Sep-2020 Axel Heider <axelheider@gmx.de>

trivial: style

Signed-off-by: Axel Heider <axelheider@gmx.de>


# bb01ae81 10-Dec-2019 Kent McLeod <Kent.Mcleod@data61.csiro.au>

platsupport: Don't require plat/mux.h on all plats

As mux_sys_init is currently required on all Arm platforms, having a
enum definition for all mux features that a platform has requires
defining the enum on all platforms.
We instead replace enum mux_feature with a typedef'd ssize_t and allow
platforms to define enum mux_feature definitions at an implementation
level rather than interface level.


# a7e9aad0 08-Oct-2018 Anna Lyons <Anna.Lyons@data61.csiro.au>

platsupport: use ZF_LOG* instead of custom macros

This commit removes redundant definitions of debug print macros
and replaces them with use of ZF_LOG*.


# e4bf6f30 10-Sep-2018 Unknown <axelheider@gmx.de>

libplatsupport: add missing 3rd parameter to zynq_mux_feature_enable()

The signature of feature_enable() changed to take a 3rd parameter, but this has never been updated here. Adding the parameter prevents a compiler warning.


# 1db007cc 21-Nov-2017 Kofi Doku Atuah <kofidoku.atuah@data61.csiro.au>

platsupport: Mux API: Add a dependencies parameter to mux_sys_init

This is a workaround for the fact that we have no real dependency tree at the
moment. The two approaches to this problem were either:
* Add a gpio_sys_t member inside of ps_io_ops_t, similar to the way we already have
a clock_sys_t and a mux_sys_t in there.
* Add a void *dependencies argument to the mux_init function that will enable us to
pass arbitrary extra dependencies in.

The latter was chosen because while it is more intrusive, it is slightly more
flexible.


# 1e28b1a1 21-Jul-2017 Nathan Studer <nathan.studer@dornerworks.com>

Re-arrange Zynq7000 platform files to make a Zynq7000 machine