ユーザーアクセス用にエクスポートされたカーネルメモリーの解放

ドライバがアンロードされたら、 ddi_umem_alloc(9F) によって割り当てられたメモリーを、ddi_umem_free (9F) を呼び出して解放する必要があります。

void ddi_umem_free(ddi_umem_cookie_t cookie);

cookie は、ddi_umem_alloc(9F) から返されたカーネルメモリー cookie です。