2 * Copyright 2007, Ingo Weinhold, bonefish@cs.tu-berlin.de. All rights reserved.
3 * Distributed under the terms of the MIT License.
12 wait_for_objects(object_wait_info
* infos
, int numInfos
)
14 return _kern_wait_for_objects(infos
, numInfos
, 0, 0);
19 wait_for_objects_etc(object_wait_info
* infos
, int numInfos
, uint32 flags
,
22 return _kern_wait_for_objects(infos
, numInfos
, flags
, timeout
);