Searched refs:GPIO_RIGHT_BANK (Results 1 - 4 of 4) sorted by relevance
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/plat/exynos5/devices/ |
H A D | vgpio.c | 67 [GPIO_RIGHT_BANK] = &dev_gpio_right, 171 return handle_vgpio_fault(vm, vcpu, dev, fault_addr, fault_length, GPIO_RIGHT_BANK);
|
/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/exynos4/platsupport/plat/ |
H A D | gpio.h | 62 GPIO_RIGHT_BANK, enumerator in enum:gpio_bank
|
/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/exynos5/platsupport/plat/ |
H A D | gpio.h | 62 GPIO_RIGHT_BANK, enumerator in enum:gpio_bank
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/exynos/ |
H A D | mux.c | 187 _bank[GPIO_RIGHT_BANK] = gpioright; 202 MAP_IF_NULL(io_ops, EXYNOS_GPIORIGHT, _bank[GPIO_RIGHT_BANK]);
|
Completed in 83 milliseconds