V>Ну я тоже не Рихтер , но как я понимаю, операционная система просто передает управление (вызывает) WndProc, передавая все параметры самостоятельно. Так я это понимаю.

Ну да, вообще-то я по другому это тоже не могу объяснить. Какие сообщения являются non-queued?