Searched defs:cpu_type_to_archstr (Results 1 - 1 of 1) sorted by relevance

/barrelfish-master/include/barrelfish_kpi/
H A Dcpu.h38 static inline const char *cpu_type_to_archstr(enum cpu_type cpu_type) function

Completed in 40 milliseconds