adjust_addr_range
static size_t adjust_addr_range(uintptr_t, uintptr_t, size_t,
size = adjust_addr_range(pmp->pr_vaddr, segment_end, psz,