Searched refs:footnote_register_size (Results 1 – 1 of 1) sorted by relevance
1465 int footnote_register_size = 0; in regcache_dump() local1558 if (!footnote_register_size) in regcache_dump()1559 footnote_register_size = ++footnote_nr; in regcache_dump()1560 fprintf_unfiltered (file, "*%d", footnote_register_size); in regcache_dump()1651 if (footnote_register_size) in regcache_dump()1653 footnote_register_size); in regcache_dump()