1234567891011121314151617181920212223242526272829303132333435 |
- /*
- * SPDX-License-Identifier: BSD-2-Clause
- *
- * Copyright (c) 2019 Western Digital Corporation or its affiliates.
- *
- * Authors:
- * Anup Patel <anup.patel@wdc.com>
- */
- #ifndef __SBI_SYSTEM_H__
- #define __SBI_SYSTEM_H__
- #include <sbi/sbi_types.h>
- /** System reset hardware device */
- struct sbi_system_reset_device {
- /** Name of the system reset device */
- char name[32];
- /* Check whether reset type and reason supported by the device */
- int (*system_reset_check)(u32 reset_type, u32 reset_reason);
- /** Reset the system */
- void (*system_reset)(u32 reset_type, u32 reset_reason);
- };
- const struct sbi_system_reset_device *sbi_system_reset_get_device(void);
- void sbi_system_reset_set_device(const struct sbi_system_reset_device *dev);
- bool sbi_system_reset_supported(u32 reset_type, u32 reset_reason);
- void __noreturn sbi_system_reset(u32 reset_type, u32 reset_reason);
- #endif
|