/* * kmem_free: free wired memory allocated by kmem_alloc. * => must not be called from interrupt context. */