Symbol: db_machdep_cpu_init
sys/arch/aarch64/aarch64/aarch64_machdep.c
363
db_machdep_cpu_init();
sys/arch/aarch64/aarch64/cpu.c
785
db_machdep_cpu_init();
sys/arch/aarch64/include/db_machdep.h
225
void db_machdep_cpu_init(void);