sbi_system.h 608 B

123456789101112131415161718192021222324252627
  1. /*
  2. * SPDX-License-Identifier: BSD-2-Clause
  3. *
  4. * Copyright (c) 2019 Western Digital Corporation or its affiliates.
  5. *
  6. * Authors:
  7. * Anup Patel <anup.patel@wdc.com>
  8. */
  9. #ifndef __SBI_SYSTEM_H__
  10. #define __SBI_SYSTEM_H__
  11. #include <sbi/sbi_types.h>
  12. struct sbi_scratch;
  13. int sbi_system_early_init(struct sbi_scratch *scratch, bool cold_boot);
  14. int sbi_system_final_init(struct sbi_scratch *scratch, bool cold_boot);
  15. void __attribute__((noreturn))
  16. sbi_system_reboot(struct sbi_scratch *scratch, u32 type);
  17. void __attribute__((noreturn))
  18. sbi_system_shutdown(struct sbi_scratch *scratch, u32 type);
  19. #endif