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

/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/arch_include/arm/sel4vmmplatsupport/arch/
H A Dac_device.h21 enum vacdev_default { enum
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/plat_include/exynos5/sel4vmmplatsupport/plat/
H A Dvgpio.h27 struct gpio_device *vm_install_ac_gpio(vm_t *vm, enum vacdev_default default_ac,
H A Dvclock.h27 struct clock_device *vm_install_ac_clock(vm_t *vm, enum vacdev_default default_ac,
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/plat/exynos5/devices/
H A Dvgpio.c183 vm_install_ac_gpio(vm_t *vm, enum vacdev_default default_ac, enum vacdev_action action)
H A Dvclock.c291 vm_install_ac_clock(vm_t *vm, enum vacdev_default default_ac, enum vacdev_action action)

Completed in 38 milliseconds