/* * SPDX-License-Identifier: BSD-2-Clause * * Copyright (c) 2019 Western Digital Corporation or its affiliates. * * Authors: * Anup Patel */ #ifndef __SBI_INIT_H__ #define __SBI_INIT_H__ #include 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