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