/* * uvm_anon_free: free a single anon. * * => anon must be already disposed. */