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