Searched refs:VACDEV_REPORT_AND_MASK (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.h29 VACDEV_REPORT_AND_MASK enumerator in enum:vacdev_action
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/arch/arm/devices/
H A Dac_device.c45 case VACDEV_REPORT_AND_MASK:
56 case VACDEV_REPORT_AND_MASK:
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/plat/exynos5/devices/
H A Dvgpio.c149 case VACDEV_REPORT_AND_MASK:

Completed in 30 milliseconds