Searched refs:vki_xen_domctl_getvcpuinfo (Results 1 – 1 of 1) sorted by relevance
222 struct vki_xen_domctl_getvcpuinfo { struct340 struct vki_xen_domctl_getvcpuinfo getvcpuinfo;