1207 static int set_dump_bitmap(uint64_t last_pfn, uint64_t pfn, bool value,  in set_dump_bitmap()  argument
1217     assert(last_pfn <= pfn);  in set_dump_bitmap()
1226     new_offset = bitmap_bufsize * (pfn / bits_per_buf);  in set_dump_bitmap()
1249     byte = (pfn % bits_per_buf) / CHAR_BIT;  in set_dump_bitmap()
1250     bit = (pfn % bits_per_buf) % CHAR_BIT;  in set_dump_bitmap()
1267 static uint64_t dump_pfn_to_paddr(DumpState *s, uint64_t pfn)  in dump_pfn_to_paddr()  argument
1271     return (pfn + ARCH_PFN_OFFSET) << target_page_shift;  in dump_pfn_to_paddr()
1355     uint64_t last_pfn, pfn;  in write_dump_bitmap()  local
1372     while (get_next_page(&block_iter, &pfn, NULL, s)) {  in write_dump_bitmap()
1373         ret = set_dump_bitmap(last_pfn, pfn, true, dump_bitmap_buf, s);  in write_dump_bitmap()
1379         last_pfn = pfn;  in write_dump_bitmap()