uvm_addr_align_backward
high_addr = uvm_addr_align_backward(tmp = high_addr, align, offset);
maxaddr = uvm_addr_align_backward(uaddr->uaddr_maxaddr - sz - guard_sz,