#ifndef KSYSCALL_H
#define KSYSCALL_H

void syscall_handler();

#endif