(inline_syscall[0-6]): Change name argument to numbers from syscall names.