Symbol: thunk_getmachine
sys/arch/usermode/include/thunk.h
169
int thunk_getmachine(char *, size_t, char *, size_t);
sys/arch/usermode/usermode/machdep.c
149
thunk_getmachine(machine, sizeof(machine),