px_in_addr_range
base_addr = px_in_addr_range(dip, ranges_p, fault_addr);
range_addr = px_in_addr_range(dip, ranges_p, base_addr);