1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19
/* * 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> void __noreturn sbi_system_reboot(u32 type); void __noreturn sbi_system_shutdown(u32 type); #endif