Made two functions and the syscall_table pointer static