17 lines
442 B
C
17 lines
442 B
C
/* The system call implemented in this file:
|
|
* m_type: SYS_DEBUG
|
|
*
|
|
* The parameters for this system call are:
|
|
*/
|
|
|
|
#include "../kernel.h"
|
|
#include "../system.h"
|
|
|
|
#if ENABLE_K_DEBUGGING /* only include code if enabled */
|
|
|
|
/*==========================================================================*
|
|
* do_debug *
|
|
*==========================================================================*/
|
|
|
|
#endif /* ENABLE_K_DEBUGGING */
|