Symbol: psci_flush_bp