Add some functions to syscalls.c