Lines Matching refs:JumpToExternalReference
1221 // Like JumpToExternalReference, but also takes care of passing the number1289 void JumpToExternalReference(const ExternalReference& builtin,