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

/barrelfish-2018-10-04/lib/cpuid/
H A Dcpuid_generic.c240 char *cpuid_cache_type_string(cpuid_cachetype_t ct) function
/barrelfish-2018-10-04/include/cpuid/
H A Dcpuid.h223 char *cpuid_cache_type_string(cpuid_cachetype_t ct);

Completed in 40 milliseconds