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