18 lines
240 B
C
18 lines
240 B
C
/*
|
|
* [x86] syscall.c
|
|
*/
|
|
|
|
#include <ihk/cpu.h>
|
|
#include <cls.h>
|
|
#include <syscall.h>
|
|
|
|
//#define DEBUG_PRINT_SC
|
|
|
|
#ifdef DEBUG_PRINT_SC
|
|
#define dkprintf kprintf
|
|
#else
|
|
#define dkprintf(...)
|
|
#endif
|
|
|
|
/* archtecture-depended syscall handlers */
|