Searched refs:footnote_nr (Results 1 – 1 of 1) sorted by relevance
1128 int footnote_nr = 0; in regcache_dump() local1200 footnote_register_offset = ++footnote_nr; in regcache_dump()1232 footnote_register_type_name_null = ++footnote_nr; in regcache_dump()