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

/barrelfish-master/lib/phoenix/
H A Dprocessor.h36 int proc_get_cpuid (void);
H A Dprocessor.c144 int proc_get_cpuid (void) function

Completed in 32 milliseconds