Searched defs:vm_t (Results 1 - 4 of 4) sorted by relevance
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/arch_include/arm/sel4vm/arch/ | ||
H A D | guest_memory_arch.h | 9 typedef struct vm vm_t; typedef in typeref:struct:vm |
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/include/sel4vm/ | ||
H A D | guest_memory.h | 25 typedef struct vm vm_t; typedef in typeref:struct:vm [all...] |
H A D | guest_vm.h | 19 typedef struct vm vm_t; typedef in typeref:struct:vm [all...] |
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/arch_include/x86/sel4vm/arch/ | ||
H A D | ioports.h | 20 typedef struct vm vm_t; typedef in typeref:struct:vm |
Completed in 107 milliseconds