px_get_range_prop
return (px_get_range_prop(px_p, rp, bank));
extern uint64_t px_get_range_prop(px_t *px_p, pci_ranges_t *rp, int bank);