#ifndef WAIT4_H #define WAIT4_H #include "syscall.h" #include "types.h" static int wait4(u64 pid, int *stat_addr, int options, struct rusage *usage) { return syscall(WAIT4, pid, stat_addr, options, usage); } #endif