context_dump 104 sys/include/hal.h void context_dump(context_t); context_dump 185 sys/kern/debug.c context_dump(&curthread->ctx);