Проблема следующая. Выделяю память функцией ExAllocatePool, затем ее освобождаю ExFreePool. Всё нормально.

PVOID pool = NULL; 
int a = 5; 
pool = ExAllocatePool(NonPagedPool, PAGE_SIZE); 
pool = &a;       
ExFreePool(pool); 

Но когда пытаюсь туда что-нибудь записать, выскакивает SoftICE, пишет Page Fault, а потом перезагрузка.

pool = &a;
Интересно, может быть это должно было означать
*(void**)pool = &a;

>>pool=&a<<
Ты присваиваешь pool адрес a, а потом пытаешься его освободить.
Наверно надо *pool=a, если я что-то понимаю.

Да и я примерно так же думаю. :)
*pool = a;

Super, со мной volodya согласился !!!! (без шуток)

[ nike: ...выскакивает SoftICE, пишет Page Fault, а потом перезагрузка. ]

Тут, кстати, благодаря этой фиче айса, легко без перезагрузки обойтись можно. Айс встаёт на сбойную инструкцию и ты сразу видишь, что ломишься не туда. Просто обходишь её и все. Если ты только уже не затер что-нить важное.