Branch data     Line data    Source code

       1                 :            : /* SPDX-License-Identifier: GPL-2.0 */
       2                 :            : #ifndef _ASM_GENERIC_EMERGENCY_RESTART_H
       3                 :            : #define _ASM_GENERIC_EMERGENCY_RESTART_H
       4                 :            : 
       5                 :            : static inline void machine_emergency_restart(void)
       6                 :            : {
       7                 :          0 :         machine_restart(NULL);
       8                 :            : }
       9                 :            : 
      10                 :            : #endif /* _ASM_GENERIC_EMERGENCY_RESTART_H */