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