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

/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/arch_include/arm/sel4vmmplatsupport/arch/
H A Dac_device.h26 enum vacdev_action { enum
48 * @param {enum vacdev_action} action Action to take when access is violated.
52 size_t size, enum vacdev_action action);
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/plat_include/exynos5/sel4vmmplatsupport/plat/
H A Dvgpio.h28 enum vacdev_action action);
H A Dvclock.h28 enum vacdev_action action);
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/arch/arm/devices/
H A Dac_device.c18 enum vacdev_action action;
75 size_t mask_size, enum vacdev_action action)
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/plat/exynos5/devices/
H A Dvgpio.c46 enum vacdev_action action;
183 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 98 milliseconds