linux/arch/riscv/kernel/reset.c
<<
>>
Prefs
   1// SPDX-License-Identifier: GPL-2.0-only
   2/*
   3 * Copyright (C) 2012 Regents of the University of California
   4 */
   5
   6#include <linux/reboot.h>
   7#include <linux/pm.h>
   8
   9static void default_power_off(void)
  10{
  11        while (1)
  12                wait_for_interrupt();
  13}
  14
  15void (*pm_power_off)(void) = default_power_off;
  16EXPORT_SYMBOL(pm_power_off);
  17
  18void machine_restart(char *cmd)
  19{
  20        do_kernel_restart(cmd);
  21        while (1);
  22}
  23
  24void machine_halt(void)
  25{
  26        pm_power_off();
  27}
  28
  29void machine_power_off(void)
  30{
  31        pm_power_off();
  32}
  33