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

/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/plat/exynos5/devices/
H A Dvgpio.c65 static const struct device *gpio_devices[] = { variable in typeref:struct:device
103 ZF_LOGD("[%s] pc 0x%08x | r 0x%08x:0x%08x\n", gpio_devices[bank]->name,
109 ZF_LOGD("[%s] pc 0x%08x | w 0x%08x:0x%08x\n", gpio_devices[bank]->name,
154 gpio_devices[bank]->name, get_vcpu_fault_ip(vcpu),
199 if (gpio_devices[i] != NULL) {
202 dev = *gpio_devices[i];

Completed in 83 milliseconds