That's probably better, yeah.
I'm still not a fan, because it makes the API meaning when count is 0 completely different from the API meaning when count is nonzero. If it were up to me, I'd rather make something closer to process_events() into the user driver API, and that'd allow us to factor out more common code into win32u as well. But I don't really want to argue about it.