Searched defs:PS_MEM_HW (Results 1 - 1 of 1) sorted by relevance
/seL4-test-master/projects/util_libs/libplatsupport/include/platsupport/ | ||
H A D | io.h | 40 PS_MEM_HW /* Host typically writes */ enumerator in enum:ps_mem_flags |
Completed in 26 milliseconds