2018-12-10 10:24:23 +08:00
|
|
|
/*
|
2022-07-13 09:21:24 +08:00
|
|
|
* Copyright (C) 2018-2022 Intel Corporation.
|
2018-12-10 10:24:23 +08:00
|
|
|
* SPDX-License-Identifier: BSD-3-Clause
|
|
|
|
*/
|
|
|
|
|
2019-01-11 13:42:48 +08:00
|
|
|
#ifndef INIT_H
|
|
|
|
#define INIT_H
|
2018-12-10 10:24:23 +08:00
|
|
|
|
|
|
|
/* hypervisor stack bottom magic('intl') */
|
|
|
|
#define SP_BOTTOM_MAGIC 0x696e746cUL
|
|
|
|
|
2019-04-22 05:52:12 +08:00
|
|
|
void init_primary_pcpu(void);
|
|
|
|
void init_secondary_pcpu(void);
|
2018-12-10 10:24:23 +08:00
|
|
|
|
|
|
|
#endif /* INIT_H*/
|