#include #include #include "syscall.h" #include "eit.h" int _lseek (int file, int ptr, int dir) { return TRAP0 (SYS_lseek, file, ptr, dir); }