blob: 459d1d55df75f753928ff70b1c5cf02bd237ac4d [file] [log] [blame]
/*
* include/boot.h
*
* Copyright (C) 2015 ARM Limited. All rights reserved.
*
* Use of this source code is governed by a BSD-style license that can be
* found in the LICENSE.txt file.
*/
#ifndef __BOOT_H
#define __BOOT_H
#include <compiler.h>
#include <stdbool.h>
void __noreturn spin(unsigned long *mbox, unsigned long invalid, int is_entry);
void __noreturn first_spin(unsigned int cpu, unsigned long *mbox,
unsigned long invalid_addr);
void cpu_init_bootmethod(unsigned int cpu);
#ifdef PSCI
bool cpu_init_psci_arch(void);
#endif
#endif