_kern_wait_for_objects
_kern_wait_for_objects(object_wait_info* infos, int numInfos, uint32 flags,
void _kern_wait_for_objects() {}