Searched defs:VACDEV_DEFAULT_ALLOW (Results 1 - 1 of 1) sorted by relevance
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/arch_include/arm/sel4vmmplatsupport/arch/ | ||
H A D | ac_device.h | 22 VACDEV_DEFAULT_ALLOW, enumerator in enum:vacdev_default |
Completed in 42 milliseconds