Home
last modified time | relevance | path

Searched refs:dbg_register_sync (Results 1 – 3 of 3) sorted by relevance

/freebsd-13.1/sys/arm64/arm64/
H A Ddebug_monitor.c445 dbg_register_sync(monitor); in dbg_setup_watchpoint()
470 dbg_register_sync(monitor); in dbg_remove_watchpoint()
475 dbg_register_sync(struct debug_monitor_state *monitor) in dbg_register_sync() function
551 dbg_register_sync(&kernel_monitor); in dbg_monitor_enter()
583 dbg_register_sync(&thread->td_pcb->pcb_dbg_regs); in dbg_monitor_exit()
H A Dmp_machdep.c430 dbg_register_sync(NULL); in ipi_stop()
/freebsd-13.1/sys/arm64/include/
H A Ddebug_monitor.h58 void dbg_register_sync(struct debug_monitor_state *);