Searched refs:footnote_register_offset (Results 1 – 1 of 1) sorted by relevance
1466 int footnote_register_offset = 0; in regcache_dump() local1532 if (!footnote_register_offset) in regcache_dump()1533 footnote_register_offset = ++footnote_nr; in regcache_dump()1534 fprintf_unfiltered (file, "*%d", footnote_register_offset); in regcache_dump()1654 if (footnote_register_offset) in regcache_dump()1656 footnote_register_offset); in regcache_dump()