taglinefilesource code
_syscall024init/main.cstatic inline _syscall0(int,pause)
_syscall026init/main.cstatic inline _syscall0(int,sync)
_syscall010lib/setsid.c_syscall0(pid_t,setsid)