How do I find which patch a position is located in given a position in sky coordinates?

Given a position in sky coordinates, how do I find out which patch or patches this position overlaps with?

It looks like skymap.findTract(coord).findPatch(coord) is the appropriate way. A skymap can usually be retrieved from the butler.