Searched refs:footnote_register_offset (Results 1 – 1 of 1) sorted by relevance
1192 int footnote_register_offset = 0; in regcache_dump() local1257 if (!footnote_register_offset) in regcache_dump()1258 footnote_register_offset = ++footnote_nr; in regcache_dump()1259 fprintf_unfiltered (file, "*%d", footnote_register_offset); in regcache_dump()1362 if (footnote_register_offset) in regcache_dump()1364 footnote_register_offset); in regcache_dump()