Порт 32-разрядный драйвер Windows к 64-разрядному Windows

Начиная с наших приложений, запущенных в полноэкранном режиме, мы разработали драйвер сцепления клавиатуры для отключения ввода данных пользователем для ключей как ALT+F4, CTRL+ALT+DEL и т.д.

Драйвер разрабатывается в C использование Windows Driver Kit.

При компиляции для 32-разрядных работ и это загружает драйвер на 32-разрядном Windos 7, и это работает как ожидалось.

При компиляции для 64-разрядных работ и это просто не загружает драйвер в 64-разрядном Windows 7 (но подписан и перечислен в драйверах клавиатуры).

Следующее - наш SetEnv настройки:

setenv c:\WinDDK\7600.16385.1 fre x64

Есть ли что-нибудь, что я пропускаю?

Я должен внести определенные изменения в код, чтобы заставить его продолжить работать 64-разрядный?