void db_md_list_watchpoints(void) { vm_offset_t wp; int bm; db_printf("Physical address watchpoint:\n"); if (watch_phys_active()) { wp = watch_phys_get(&bm); db_watch_print(wp, bm); } else db_printf("\tnot active.\n"); db_printf("Virtual address watchpoint:\n"); if (watch_virt_active()) { wp = watch_virt_get(&bm); db_watch_print(wp, bm); } else db_printf("\tnot active.\n"); }
void db_md_list_watchpoints(void) { vm_offset_t va; vm_paddr_t pa; int bm; db_printf("Physical address watchpoint:\n"); if (watch_phys_active()) { pa = watch_phys_get(&bm); db_watch_print(pa, bm); } else db_printf("\tnot active.\n"); db_printf("Virtual address watchpoint:\n"); if (watch_virt_active()) { va = watch_virt_get(&bm); db_watch_print(va, bm); } else db_printf("\tnot active.\n"); }