1 /*
2  * Copyright (C) 2018-2022 Intel Corporation.
3  * SPDX-License-Identifier: BSD-3-Clause
4  */
5 
6 #ifndef INIT_H
7 #define INIT_H
8 
9 /* hypervisor stack bottom magic('intl') */
10 #define SP_BOTTOM_MAGIC    0x696e746cUL
11 
12 void init_primary_pcpu(void);
13 void init_secondary_pcpu(void);
14 
15 #endif /* INIT_H*/
16