fssh_kernel_debugger
#define kernel_debugger fssh_kernel_debugger
extern void fssh_kernel_debugger(const char *message); /* enter kernel debugger */