у меня есть код, вызывающий ReadFileEx с параметром FileIOCompletetion, который указателем на функцию. 
Порой немедленный вызов GetOverlappedResult возвращает TRUE, тем самым показывая, что буфер записан, однако возвращаемое значение lpNumberOfBytesTransferred иногда при этом оказывается нулевым.
Единственный способ получить корректный размер(я думаю) записанных данных - это войти в Alertable State и дождаться, когда будет вызван callback FileIOCompletetion 

Как это сделать? Приходит на ум SleepEx(n,TRUE), но как я понимаю если первый параметр будет нулевым, то поток пропустит весь свой таймслайс, а если больше - потратится время на вход и выход в Kernel Mode.
Мне нужна функция, которая вынудит систему вызвать все запланированные коллбэки(которых может быть 0 или больше), и немедленно вернуть управление к точке вызова.

Тут есть несколько вариантов. Он может быть успешно прочитал 0 байтов  А может быть неверно заполнены поля в LPOVERLAPPED и тогда может быть:

А т.к. кода нету то и не понятно, что происходит. В любом случае надо разобраться с тем, что не так, а не городить SleepEx и тому подобное, имхо.

тревожное ожидание это всегда кернелмод, так что тут не сэкономить