/**
 * @file syscall.h
 * @brief Kernel syscall handler
 * 
 */

#ifndef _SYSCALL_H_
#define _SYSCALL_H_

void syscall (void);

#endif /* _SYSCALL_H_ */