(self, f, page_kind, page_address, my_page_address)
| 3527 | |
| 3528 | |
| 3529 | def output_page_info(self, f, page_kind, page_address, my_page_address): |
| 3530 | if my_page_address == page_address and page_address != 0: |
| 3531 | f.write("Marked first %s page." % page_kind) |
| 3532 | else: |
| 3533 | f.write("<span id=\"%spage\" style=\"display:none\">" % page_kind) |
| 3534 | f.write("Marked first %s page." % page_kind) |
| 3535 | f.write("</span>\n") |
| 3536 | f.write("<button onclick=\"onpage('%spage', '0x%x')\">" % |
| 3537 | (page_kind, my_page_address)) |
| 3538 | f.write("Mark as first %s page</button>" % page_kind) |
| 3539 | return |
| 3540 | |
| 3541 | def output_search_res(self, f, straddress): |
| 3542 | try: |
no test coverage detected