--- src/sys/dev/video/bktr/bktr_core.c 2006/12/22 23:26:26 1.20 +++ src/sys/dev/video/bktr/bktr_core.c 2006/12/28 21:23:59 1.21 @@ -1681,7 +1681,7 @@ video_ioctl( bktr_ptr_t bktr, int unit, buf = get_bktr_mem(unit, temp*PAGE_SIZE); if (buf != 0) { - kmem_free(kernel_map, bktr->bigbuf, + kmem_free(&kernel_map, bktr->bigbuf, (bktr->alloc_pages * PAGE_SIZE)); bktr->bigbuf = buf;