Debug

syscall_debug

GETFROMSTACK(ustack, char *, s, 0);

Displays string given by s on kernel console