Lines Matching refs:JumpToExternalReference
1311 // Like JumpToExternalReference, but also takes care of passing the number1323 void JumpToExternalReference(const ExternalReference& ext, int result_size);