The driver was improperly using kmem_free() instead of pmap_unmapdev(),