dump_read_word_from_dump 5288 src/pdumper.c    uintptr_t value = dump_read_word_from_dump (dump_base, reloc_offset);
dump_read_word_from_dump 5331 src/pdumper.c          uintptr_t value = dump_read_word_from_dump (dump_base, reloc_offset);
dump_read_word_from_dump 5339 src/pdumper.c          uintptr_t value = dump_read_word_from_dump (dump_base, reloc_offset);