Хорошо, вы пишете драйверы KernelMode, поэтому вам нужно вызвать DbgPrint, что эквивалентно printf в c.
printf(format, params) -> DbgPrint(format, params)
Вам понадобится либо инструмент WinDbg, либо DbgView для просмотра отладочных сообщений.
Чтобы создать дамп в файл, сначала откройте файл с помощью функции CreateFile. После того, как дескриптор открыт и допустим, вы можете писать в него с помощью функции WriteFile.