Searched defs:vki_xen_domctl_vcpucontext (Results 1 – 1 of 1) sorted by relevance
262 struct vki_xen_domctl_vcpucontext { struct263 vki_uint32_t vcpu; /* IN */