uvm_addr_print
void uvm_addr_print(struct uvm_addr_state *, const char *,
uvm_addr_print(map->uaddr_exe, "exe", full, pr);
uvm_addr_print(map->uaddr_any[i], &buf[0], full, pr);
uvm_addr_print(map->uaddr_brk_stack, "brk/stack", full, pr);