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

/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/arch_include/arm/sel4vmmplatsupport/arch/
H A Dac_device.h27 VACDEV_REPORT_ONLY, enumerator in enum:vacdev_action
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/arch/arm/devices/
H A Dac_device.c46 case VACDEV_REPORT_ONLY:
60 case VACDEV_REPORT_ONLY:
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/plat/exynos5/devices/
H A Dvgpio.c151 case VACDEV_REPORT_ONLY:

Completed in 89 milliseconds