Searched refs:page_kind (Results 1 – 1 of 1) sorted by relevance
| /external/v8/tools/ |
| D | grokdump.py | 1928 def get_page_address(self, page_kind): argument
1929 return self.page_address.get(page_kind, 0)
1931 def save_page_address(self, page_kind, address): argument
1933 f.write("P %s 0x%x\n" % (page_kind, address))
3187 def output_page_info(self, f, page_kind, page_address, my_page_address): argument
3189 f.write("Marked first %s page." % page_kind)
3191 f.write("<span id=\"%spage\" style=\"display:none\">" % page_kind)
3192 f.write("Marked first %s page." % page_kind)
3195 (page_kind, my_page_address))
3196 f.write("Mark as first %s page</button>" % page_kind)
|