Lines Matching refs:JumpToExternalReference
692 // Like JumpToExternalReference, but also takes care of passing the number734 void JumpToExternalReference(const ExternalReference& ext);