add pfn_valid_within helper for sub-MAX_ORDER hole detection