Searched refs:VKI_XEN_SYSCTL_getcpuinfo (Results 1 - 1 of 1) sorted by relevance

/external/valgrind/include/vki/
H A Dvki-xen-sysctl.h29 #define VKI_XEN_SYSCTL_getcpuinfo 8 macro

Completed in 26 milliseconds