Searched refs:gpio_device (Results 1 - 2 of 2) sorted by relevance

/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/plat_include/exynos5/sel4vmmplatsupport/plat/
H A Dvgpio.h17 struct gpio_device;
27 struct gpio_device *vm_install_ac_gpio(vm_t *vm, enum vacdev_default default_ac,
32 * @param[in] gpio_device A handle to the GPIO Access Control device
36 int vm_gpio_provide(struct gpio_device *gpio_device, gpio_id_t gpio_id);
40 * @param[in] gpio_device A handle to the GPIO Access Control device
44 int vm_gpio_restrict(struct gpio_device *gpio_device, gpio_id_t gpio_id);
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/plat/exynos5/devices/
H A Dvgpio.c44 struct gpio_device { struct
86 struct gpio_device *gpio_device = (struct gpio_device *)dev->priv; local
89 if (gpio_device->regs[bank] == NULL) {
100 reg = (volatile uint32_t *)(gpio_device->regs[bank] + offset);
120 assert(port < sizeof(gpio_device->granted_bf[bank]));
121 ac = gpio_device->granted_bf[bank][port];
148 switch (gpio_device->action) {
182 struct gpio_device *
185 struct gpio_device *gpio_device; local
218 vm_gpio_config(struct gpio_device *gpio_device, gpio_id_t gpio_id, int provide) argument
235 vm_gpio_provide(struct gpio_device *gpio_device, gpio_id_t gpio_id) argument
240 vm_gpio_restrict(struct gpio_device *gpio_device, gpio_id_t gpio_id) argument
[all...]

Completed in 101 milliseconds