1/*
2 * Copyright 2007, Ingo Weinhold, bonefish@cs.tu-berlin.de. All rights reserved.
3 * Distributed under the terms of the MIT License.
4 */
5
6#include <OS.h>
7#include <syscalls.h>
8
9
10
11ssize_t
12wait_for_objects(object_wait_info* infos, int numInfos)
13{
14	return _kern_wait_for_objects(infos, numInfos, 0, 0);
15}
16
17
18ssize_t
19wait_for_objects_etc(object_wait_info* infos, int numInfos, uint32 flags,
20	bigtime_t timeout)
21{
22	return _kern_wait_for_objects(infos, numInfos, flags, timeout);
23}
24