| 6739 | } |
| 6740 | |
| 6741 | static void |
| 6742 | dump_pmap(pmap_t pmap) |
| 6743 | { |
| 6744 | |
| 6745 | printf("pmap %p\n", pmap); |
| 6746 | printf(" pm_pt1: %p\n", pmap->pm_pt1); |
| 6747 | printf(" pm_pt2tab: %p\n", pmap->pm_pt2tab); |
| 6748 | printf(" pm_active: 0x%08lX\n", pmap->pm_active.__bits[0]); |
| 6749 | } |
| 6750 | |
| 6751 | DB_SHOW_COMMAND(pmaps, pmap_list_pmaps) |
| 6752 | { |