Searched defs:vcpu_arch (Results 1 - 1 of 1) sorted by relevance

/seL4-test-master/projects/sel4_projects_libs/libsel4vm/include/sel4vm/
H A Dguest_vm.h140 struct vm_vcpu_arch vcpu_arch; member in struct:vm_vcpu

Completed in 26 milliseconds