/* * kmem_intr_free: free wired memory allocated by kmem_alloc. */