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