PolymorphicCodeCachePrint 6806 src/objects.h    inline void PolymorphicCodeCachePrint() {
PolymorphicCodeCachePrint 6807 src/objects.h      PolymorphicCodeCachePrint(stdout);
PolymorphicCodeCachePrint 6809 src/objects.h    void PolymorphicCodeCachePrint(FILE* out);