Как узнать тип параметра стандартной функции?

Разбираю сейчас работу драйвера DXGKRNL

наткнулся на такую функцию

NTSTATUS __stdcall DpiInitialize(PDRIVER_OBJECT ClientIdentificationAddress, PCUNICODE_STRING SourceString, PVOID a3)

Насколько я понимаю, название функции IDA подгрузила из MS Symbol Server. А вот как быть с параметрами? Что это за параметр - a3 ? Поможет ли в данном случае checked build или может быть посмотреть в WinDbg?

Спасибо зараннее.

 

http://msdn.microsoft.com/en-us/library/ff560824(v=VS.85).aspx не это случаем?
__in PDRIVER_INITIALIZATION_DATA DriverInitializationData

 

Great
Спасибо за подсказку! Это оно!