Searched refs:page_kind (Results 1 – 1 of 1) sorted by relevance
| /external/v8/tools/ |
| D | grokdump.py | 1618 def get_page_address(self, page_kind): argument
1619 return self.page_address.get(page_kind, 0)
1621 def save_page_address(self, page_kind, address): argument
1623 f.write("P %s 0x%x\n" % (page_kind, address))
2563 def output_page_info(self, f, page_kind, page_address, my_page_address): argument
2565 f.write("Marked first %s page.\n" % page_kind)
2567 f.write("<span id=\"%spage\" style=\"display:none\">" % page_kind)
2568 f.write("Marked first %s page." % page_kind)
2571 (page_kind, my_page_address))
2572 f.write("Mark as first %s page</button>\n" % page_kind)
|