CodeCachePrint   6715 src/objects.h    inline void CodeCachePrint() {
CodeCachePrint   6716 src/objects.h      CodeCachePrint(stdout);
CodeCachePrint   6718 src/objects.h    void CodeCachePrint(FILE* out);