Searched refs:vki_xen_domctl_getvcpuinfo (Results 1 - 1 of 1) sorted by relevance
/external/valgrind/main/include/vki/ | ||
H A D | vki-xen-domctl.h | 222 struct vki_xen_domctl_getvcpuinfo { struct 340 struct vki_xen_domctl_getvcpuinfo getvcpuinfo; |
Completed in 423 milliseconds