| 6888 | } |
| 6889 | |
| 6890 | static void |
| 6891 | dump_pt2tab(pmap_t pmap) |
| 6892 | { |
| 6893 | uint32_t i; |
| 6894 | pt2_entry_t pte2; |
| 6895 | vm_offset_t va; |
| 6896 | vm_paddr_t pa; |
| 6897 | vm_page_t m; |
| 6898 | |
| 6899 | printf("PT2TAB:\n"); |
| 6900 | for (i = 0; i < PT2TAB_ENTRIES; i++) { |
| 6901 | pte2 = pte2_load(&pmap->pm_pt2tab[i]); |
| 6902 | if (!pte2_is_valid(pte2)) |
| 6903 | continue; |
| 6904 | va = i << PT2TAB_SHIFT; |
| 6905 | pa = pte2_pa(pte2); |
| 6906 | m = PHYS_TO_VM_PAGE(pa); |
| 6907 | printf(" 0x%08X: 0x%08X, TEX%d, s:%d, m:%p", va, pte2, |
| 6908 | pte2_class(pte2), !!(pte2 & PTE2_S), m); |
| 6909 | if (m != NULL) |
| 6910 | printf(" , w: %d, f: 0x%04X pidx: %lld", |
| 6911 | m->ref_count, m->flags, m->pindex); |
| 6912 | printf("\n"); |
| 6913 | } |
| 6914 | } |
| 6915 | |
| 6916 | DB_SHOW_COMMAND(pmap_pt2tab, pmap_pt2tab_print) |
| 6917 | { |
no test coverage detected