external_function  823 src/arm/simulator-arm.cc void* external_function() { return external_function_; }
external_function  954 src/mips/simulator-mips.cc void* external_function() { return external_function_; }