Symbol: cpu_flush_bp_psci
sys/arch/arm64/arm64/cpu.c
348
void cpu_flush_bp_psci(void);
sys/arch/arm64/arm64/cpu.c
388
ci->ci_flush_bp = cpu_flush_bp_psci;