Symbol: thunk_getcpuinfo
sys/arch/usermode/include/thunk.h
167
int thunk_getcpuinfo(char *, size_t *);
sys/arch/usermode/usermode/procfs_machdep.c
43
return thunk_getcpuinfo(bf, len);