/* * uvm_km_free: free an area of kernel memory */