Symbol: db_machdep_init
sys/arch/aarch64/aarch64/cpu.c
178
db_machdep_init(ci);
sys/arch/aarch64/include/db_machdep.h
226
void db_machdep_init(struct cpu_info * const);