Symbol: psci_flush_bp
sys/arch/arm64/arm64/cpu.c
1762
psci_flush_bp();
sys/dev/fdt/pscivar.h
45
void psci_flush_bp(void);