What would 7.562 ball and ball pushrods be from?

I wonder if that length would be for flat tappet hydraulic lifters using magnum heads?