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

/barrelfish-2018-10-04/lib/cpuid/
H A Dcpuid_generic.c56 PRIx32"]\n", cpuid_vendor_string(), cpuid_g_max_input_basic,
93 char *cpuid_vendor_string(void) function
/barrelfish-2018-10-04/include/cpuid/
H A Dcpuid.h102 char *cpuid_vendor_string(void);

Completed in 57 milliseconds