Lines Matching refs:JumpToExternalReference
1062 // Like JumpToExternalReference, but also takes care of passing the number1128 void JumpToExternalReference(const ExternalReference& builtin);