2018-12-10 10:24:23 +08:00
|
|
|
/*
|
|
|
|
* Copyright (C) <2018> Intel Corporation
|
|
|
|
* SPDX-License-Identifier: BSD-3-Clause
|
|
|
|
*/
|
|
|
|
|
|
|
|
#ifndef INIT_H
|
|
|
|
|
|
|
|
/* hypervisor stack bottom magic('intl') */
|
|
|
|
#define SP_BOTTOM_MAGIC 0x696e746cUL
|
|
|
|
|
2018-12-18 09:55:48 +08:00
|
|
|
void init_primary_cpu(void);
|
2018-12-11 17:46:02 +08:00
|
|
|
void init_secondary_cpu(void);
|
2018-12-10 10:24:23 +08:00
|
|
|
|
|
|
|
#endif /* INIT_H*/
|