Add comments to syscall.h