/seL4-refos-master/libs/libplatsupport/src/plat/imx6/ |
H A D | mux.h | 13 #include <platsupport/mux.h> 15 int imx6_mux_enable_gpio(mux_sys_t* mux, int gpio_id);
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/imx6/ |
H A D | mux.h | 13 #include <platsupport/mux.h> 15 int imx6_mux_enable_gpio(mux_sys_t* mux, int gpio_id);
|
/seL4-refos-master/libs/libplatsupport/src/plat/apq8064/ |
H A D | mux.c | 13 #include <platsupport/mux.h> 22 volatile struct apq8064_mux_regs* mux; member in struct:apq8064_mux 25 static inline struct apq8064_mux* get_mux_priv(mux_sys_t* mux) { argument 26 return (struct apq8064_mux*)mux->priv; 29 static inline void set_mux_priv(mux_sys_t* mux, struct apq8064_mux* apq8064_mux) argument 31 assert(mux != NULL); 33 mux->priv = apq8064_mux; 37 apq8064_mux_feature_enable(mux_sys_t* mux, mux_feature_t mux_feature, UNUSED enum mux_gpio_dir mgd) argument 40 if (mux == NULL || mux 53 apq8064_mux_init_common(mux_sys_t* mux) argument 61 apq8064_mux_init(void* bank1, mux_sys_t* mux) argument 69 mux_sys_init(ps_io_ops_t* io_ops, UNUSED void *dependencies, mux_sys_t* mux) argument [all...] |
/seL4-refos-master/libs/libplatsupport/src/plat/omap3/ |
H A D | mux.c | 14 #include <platsupport/mux.h> 22 volatile struct omap3_mux_regs* mux; member in struct:omap3_mux 25 static inline struct omap3_mux* get_mux_priv(mux_sys_t* mux) { argument 26 return (struct omap3_mux*)mux->priv; 29 static inline void set_mux_priv(mux_sys_t* mux, struct omap3_mux* omap3_mux) argument 31 assert(mux != NULL); 33 mux->priv = omap3_mux; 37 omap3_mux_feature_enable(mux_sys_t* mux, mux_feature_t mux_feature, UNUSED enum mux_gpio_dir mgd) argument 40 if (mux == NULL || mux 53 omap3_mux_init_common(mux_sys_t* mux) argument 61 omap3_mux_init(void* bank1, mux_sys_t* mux) argument 69 mux_sys_init(ps_io_ops_t* io_ops, UNUSED void *dependencies, mux_sys_t* mux) argument [all...] |
/seL4-refos-master/libs/libplatsupport/src/plat/imx31/ |
H A D | mux.c | 14 #include <platsupport/mux.h> 22 volatile struct imx31_mux_regs* mux; member in struct:imx31_mux 25 static inline struct imx31_mux* get_mux_priv(mux_sys_t* mux) { argument 26 return (struct imx31_mux*)mux->priv; 29 static inline void set_mux_priv(mux_sys_t* mux, struct imx31_mux* imx31_mux) argument 31 assert(mux != NULL); 33 mux->priv = imx31_mux; 37 imx31_mux_feature_enable(mux_sys_t* mux, mux_feature_t mux_feature, UNUSED enum mux_gpio_dir mgd) argument 40 if (mux == NULL || mux 53 imx31_mux_init_common(mux_sys_t* mux) argument 61 imx31_mux_init(void* bank1, mux_sys_t* mux) argument 69 mux_sys_init(ps_io_ops_t* io_ops, UNUSED void *dependencies, mux_sys_t* mux) argument [all...] |
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/apq8064/ |
H A D | mux.c | 13 #include <platsupport/mux.h> 22 volatile struct apq8064_mux_regs* mux; member in struct:apq8064_mux 25 static inline struct apq8064_mux* get_mux_priv(mux_sys_t* mux) { argument 26 return (struct apq8064_mux*)mux->priv; 29 static inline void set_mux_priv(mux_sys_t* mux, struct apq8064_mux* apq8064_mux) argument 31 assert(mux != NULL); 33 mux->priv = apq8064_mux; 37 apq8064_mux_feature_enable(mux_sys_t* mux, mux_feature_t mux_feature, UNUSED enum mux_gpio_dir mgd) argument 40 if (mux == NULL || mux 53 apq8064_mux_init_common(mux_sys_t* mux) argument 61 apq8064_mux_init(void* bank1, mux_sys_t* mux) argument 69 mux_sys_init(ps_io_ops_t* io_ops, UNUSED void *dependencies, mux_sys_t* mux) argument [all...] |
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/imx31/ |
H A D | mux.c | 14 #include <platsupport/mux.h> 22 volatile struct imx31_mux_regs* mux; member in struct:imx31_mux 25 static inline struct imx31_mux* get_mux_priv(mux_sys_t* mux) { argument 26 return (struct imx31_mux*)mux->priv; 29 static inline void set_mux_priv(mux_sys_t* mux, struct imx31_mux* imx31_mux) argument 31 assert(mux != NULL); 33 mux->priv = imx31_mux; 37 imx31_mux_feature_enable(mux_sys_t* mux, mux_feature_t mux_feature, UNUSED enum mux_gpio_dir mgd) argument 40 if (mux == NULL || mux 53 imx31_mux_init_common(mux_sys_t* mux) argument 61 imx31_mux_init(void* bank1, mux_sys_t* mux) argument 69 mux_sys_init(ps_io_ops_t* io_ops, UNUSED void *dependencies, mux_sys_t* mux) argument [all...] |
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/omap3/ |
H A D | mux.c | 14 #include <platsupport/mux.h> 22 volatile struct omap3_mux_regs* mux; member in struct:omap3_mux 25 static inline struct omap3_mux* get_mux_priv(mux_sys_t* mux) { argument 26 return (struct omap3_mux*)mux->priv; 29 static inline void set_mux_priv(mux_sys_t* mux, struct omap3_mux* omap3_mux) argument 31 assert(mux != NULL); 33 mux->priv = omap3_mux; 37 omap3_mux_feature_enable(mux_sys_t* mux, mux_feature_t mux_feature, UNUSED enum mux_gpio_dir mgd) argument 40 if (mux == NULL || mux 53 omap3_mux_init_common(mux_sys_t* mux) argument 61 omap3_mux_init(void* bank1, mux_sys_t* mux) argument 69 mux_sys_init(ps_io_ops_t* io_ops, UNUSED void *dependencies, mux_sys_t* mux) argument [all...] |
/seL4-refos-master/libs/libplatsupport/src/mach/zynq/ |
H A D | mux.c | 15 #include <platsupport/mux.h> 26 mux_sys_t *mux, 29 assert(mux != NULL); 31 mux->priv = zynq_mux; 35 const mux_sys_t *mux, 43 mux_sys_t *mux) 45 set_mux_priv(mux, &_mux); 46 mux->feature_enable = &zynq_mux_feature_enable; 51 mux_sys_t *mux) 53 return zynq_mux_init_common(mux); 25 set_mux_priv( mux_sys_t *mux, struct zynq_mux *zynq_mux) argument 34 zynq_mux_feature_enable( const mux_sys_t *mux, mux_feature_t mux_feature, UNUSED enum mux_gpio_dir mgd) argument 42 zynq_mux_init_common( mux_sys_t *mux) argument 50 zynq_mux_init( mux_sys_t *mux) argument 56 mux_sys_init( ps_io_ops_t *io_ops, UNUSED void *dependencies, mux_sys_t *mux) argument [all...] |
/seL4-refos-master/projects/util_libs/libplatsupport/src/mach/zynq/ |
H A D | mux.c | 15 #include <platsupport/mux.h> 26 mux_sys_t *mux, 29 assert(mux != NULL); 31 mux->priv = zynq_mux; 35 const mux_sys_t *mux, 43 mux_sys_t *mux) 45 set_mux_priv(mux, &_mux); 46 mux->feature_enable = &zynq_mux_feature_enable; 51 mux_sys_t *mux) 53 return zynq_mux_init_common(mux); 25 set_mux_priv( mux_sys_t *mux, struct zynq_mux *zynq_mux) argument 34 zynq_mux_feature_enable( const mux_sys_t *mux, mux_feature_t mux_feature, UNUSED enum mux_gpio_dir mgd) argument 42 zynq_mux_init_common( mux_sys_t *mux) argument 50 zynq_mux_init( mux_sys_t *mux) argument 56 mux_sys_init( ps_io_ops_t *io_ops, UNUSED void *dependencies, mux_sys_t *mux) argument [all...] |
/seL4-refos-master/projects/util_libs/libplatsupport/arch_include/arm/platsupport/ |
H A D | mux.h | 30 int (*feature_enable)(const mux_sys_t *mux, mux_feature_t, enum mux_gpio_dir); 31 int (*feature_disable)(const mux_sys_t *mux, mux_feature_t); 32 void *(*get_mux_vaddr)(const mux_sys_t *mux); 44 * Returns the vaddr of the mux controller so a driver can directly 47 static inline void *mux_sys_get_vaddr(mux_sys_t *mux) argument 49 return (mux && mux->get_mux_vaddr) ? mux->get_mux_vaddr(mux) : NULL; 55 * @param[out] mux O 81 mux_feature_enable(const mux_sys_t *mux, mux_feature_t mux_feature, enum mux_gpio_dir mux_gpio_dir) argument 104 mux_feature_disable(mux_sys_t *mux, mux_feature_t mux_feature) argument [all...] |
/seL4-refos-master/libs/libplatsupport/arch_include/arm/platsupport/ |
H A D | mux.h | 30 int (*feature_enable)(const mux_sys_t *mux, mux_feature_t, enum mux_gpio_dir); 31 int (*feature_disable)(const mux_sys_t *mux, mux_feature_t); 32 void *(*get_mux_vaddr)(const mux_sys_t *mux); 44 * Returns the vaddr of the mux controller so a driver can directly 47 static inline void *mux_sys_get_vaddr(mux_sys_t *mux) argument 49 return (mux && mux->get_mux_vaddr) ? mux->get_mux_vaddr(mux) : NULL; 55 * @param[out] mux O 81 mux_feature_enable(const mux_sys_t *mux, mux_feature_t mux_feature, enum mux_gpio_dir mux_gpio_dir) argument 104 mux_feature_disable(mux_sys_t *mux, mux_feature_t mux_feature) argument [all...] |
/seL4-refos-master/libs/libplatsupport/mach_include/zynq/platsupport/mach/ |
H A D | gpio.h | 16 #include <platsupport/mux.h>
|
/seL4-refos-master/projects/util_libs/libplatsupport/mach_include/zynq/platsupport/mach/ |
H A D | gpio.h | 16 #include <platsupport/mux.h>
|
/seL4-refos-master/libs/libplatsupport/plat_include/imx6/platsupport/plat/ |
H A D | mux.h | 25 * Initialise the mux subsystem with pre-mapped regions. 27 * @param[out] mux On success, this will be filled with the appropriate 31 int imx6_mux_init(void* iomuxc, mux_sys_t* mux);
|
/seL4-refos-master/projects/util_libs/libplatsupport/plat_include/imx6/platsupport/plat/ |
H A D | mux.h | 25 * Initialise the mux subsystem with pre-mapped regions. 27 * @param[out] mux On success, this will be filled with the appropriate 31 int imx6_mux_init(void* iomuxc, mux_sys_t* mux);
|
/seL4-refos-master/libs/libplatsupport/src/plat/fvp/ |
H A D | clock_mux.c | 13 #include <platsupport/mux.h> 24 mux_sys_init(ps_io_ops_t* io_ops, UNUSED void *dependencies, mux_sys_t* mux) argument
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/fvp/ |
H A D | clock_mux.c | 13 #include <platsupport/mux.h> 24 mux_sys_init(ps_io_ops_t* io_ops, UNUSED void *dependencies, mux_sys_t* mux) argument
|
/seL4-refos-master/libs/libplatsupport/plat_include/exynos4/platsupport/plat/ |
H A D | i2c.h | 31 * @param[in] mux Mux system for exynos 34 int exynos_i2c_init(enum i2c_id id, void* base, mux_sys_t* mux, i2c_bus_t* i2c);
|
/seL4-refos-master/projects/util_libs/libplatsupport/plat_include/exynos4/platsupport/plat/ |
H A D | i2c.h | 31 * @param[in] mux Mux system for exynos 34 int exynos_i2c_init(enum i2c_id id, void* base, mux_sys_t* mux, i2c_bus_t* i2c);
|
/seL4-refos-master/libs/libplatsupport/src/plat/odroidc2/ |
H A D | meson_timer.c | 27 timer->regs->mux = TIMER_A_EN | (TIMESTAMP_TIMEBASE_1_US << TIMER_E_INPUT_CLK) | 52 timer->regs->mux |= TIMER_A_MODE; 54 timer->regs->mux &= ~TIMER_A_MODE; 60 timer->regs->mux |= TIMER_A_EN; 67 timer->regs->mux &= ~TIMER_A_EN;
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/odroidc2/ |
H A D | meson_timer.c | 27 timer->regs->mux = TIMER_A_EN | (TIMESTAMP_TIMEBASE_1_US << TIMER_E_INPUT_CLK) | 52 timer->regs->mux |= TIMER_A_MODE; 54 timer->regs->mux &= ~TIMER_A_MODE; 60 timer->regs->mux |= TIMER_A_EN; 67 timer->regs->mux &= ~TIMER_A_EN;
|
/seL4-refos-master/libs/libplatsupport/plat_include/exynos5/platsupport/plat/ |
H A D | i2c.h | 39 * @param[in] mux Mux system for exynos 42 int exynos_i2c_init(enum i2c_id id, void* base, mux_sys_t* mux, i2c_bus_t* i2c);
|
/seL4-refos-master/projects/util_libs/libplatsupport/plat_include/exynos5/platsupport/plat/ |
H A D | i2c.h | 39 * @param[in] mux Mux system for exynos 42 int exynos_i2c_init(enum i2c_id id, void* base, mux_sys_t* mux, i2c_bus_t* i2c);
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/mach/exynos/ |
H A D | mux.c | 16 #include <platsupport/mux.h> 21 #include "mux.h" 39 static struct mux_bank **mux_priv_get_banks(const mux_sys_t *mux) argument 41 assert(mux); 42 return (struct mux_bank **)mux->priv; 45 static struct mux_cfg *get_mux_cfg(const mux_sys_t *mux, int port) argument 49 bank = mux_priv_get_banks(mux); 143 static int exynos_mux_feature_enable(const mux_sys_t *mux, mux_feature_t mux_feature, argument 147 ZF_LOGE("Invalid mux feature provided: %zd", mux_feature); 151 (void)mux; 173 exynos_mux_init_common(mux_sys_t *mux) argument 180 exynos_mux_init(void *gpioleft, void *gpioright, void *gpioc2c, void *gpioaudio, mux_sys_t *mux) argument 198 mux_sys_init(ps_io_ops_t *io_ops, UNUSED void *dependencies, mux_sys_t *mux) argument 225 mux_sys_t *mux; local 234 mux_sys_t *mux; local [all...] |