diff options
Diffstat (limited to 'roms/opensbi/include/sbi/sbi_init.h')
| -rw-r--r-- | roms/opensbi/include/sbi/sbi_init.h | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/roms/opensbi/include/sbi/sbi_init.h b/roms/opensbi/include/sbi/sbi_init.h new file mode 100644 index 000000000..74eb1c075 --- /dev/null +++ b/roms/opensbi/include/sbi/sbi_init.h @@ -0,0 +1,23 @@ +/* + * SPDX-License-Identifier: BSD-2-Clause + * + * Copyright (c) 2019 Western Digital Corporation or its affiliates. + * + * Authors: + * Anup Patel <anup.patel@wdc.com> + */ + +#ifndef __SBI_INIT_H__ +#define __SBI_INIT_H__ + +#include <sbi/sbi_types.h> + +struct sbi_scratch; + +void __noreturn sbi_init(struct sbi_scratch *scratch); + +unsigned long sbi_init_count(u32 hartid); + +void __noreturn sbi_exit(struct sbi_scratch *scratch); + +#endif |