Searched defs:gpiomuxserver_data (Results 1 - 2 of 2) sorted by relevance

/seL4-camkes-master/projects/global-components/components/GPIOMUXServer/libGPIOMUXServer-client/
H A Dmux.c27 gpiomuxserver_mux_interface_data_t *gpiomuxserver_data = mux->priv; local
34 gpiomuxserver_mux_interface_data_t *gpiomuxserver_data = mux->priv; local
H A Dgpio.c28 gpiomuxserver_gpio_interface_data_t *gpiomuxserver_data = gpio_sys->priv; local
44 gpiomuxserver_gpio_interface_data_t *gpiomuxserver_data = gpio->gpio_sys->priv; local
51 gpiomuxserver_gpio_interface_data_t *gpiomuxserver_data = gpio->gpio_sys->priv; local

Completed in 77 milliseconds