sys/arm64/arm64/debug_monitor.c

471

dbg_register_sync(monitor);

sys/arm64/arm64/debug_monitor.c

495

dbg_register_sync(monitor);

sys/arm64/arm64/debug_monitor.c

565

dbg_register_sync(monitor);

sys/arm64/arm64/debug_monitor.c

590

dbg_register_sync(monitor);

sys/arm64/arm64/debug_monitor.c

674

dbg_register_sync(&kernel_monitor);

sys/arm64/arm64/debug_monitor.c

706

dbg_register_sync(&thread->td_pcb->pcb_dbg_regs);

sys/arm64/arm64/mp_machdep.c

388

dbg_register_sync(NULL);

sys/arm64/include/debug_monitor.h

56

void dbg_register_sync(struct debug_monitor_state *);