#ifndef WAIT4_H
#define WAIT4_H

#include "syscall.h"
#include "sizes.h"

int wait4(u64 pid, int *stat_addr, int options)
{
	return syscall(WAIT4, pid, stat_addr, options);
}

#endif