_kern_disable_debugger
extern int _kern_disable_debugger(int state);
return _kern_disable_debugger(state);