Searched refs:page_kind (Results 1 – 1 of 1) sorted by relevance
| /external/v8/tools/ |
| D | grokdump.py | 1731 def get_page_address(self, page_kind): argument
1732 return self.page_address.get(page_kind, 0)
1734 def save_page_address(self, page_kind, address): argument
1736 f.write("P %s 0x%x\n" % (page_kind, address))
2669 def output_page_info(self, f, page_kind, page_address, my_page_address): argument
2671 f.write("Marked first %s page.\n" % page_kind)
2673 f.write("<span id=\"%spage\" style=\"display:none\">" % page_kind)
2674 f.write("Marked first %s page." % page_kind)
2677 (page_kind, my_page_address))
2678 f.write("Mark as first %s page</button>\n" % page_kind)
|