uvm_addr_destroy
void uvm_addr_destroy(struct uvm_addr_state *);
uvm_addr_destroy(map->uaddr_exe);
uvm_addr_destroy(map->uaddr_any[i]);
uvm_addr_destroy(map->uaddr_brk_stack);
uvm_addr_destroy(*which);