text: /*
   * Copyright 2019 The Hafnium Authors.
   *
   * Use of this source code is governed by a BSD-style
   * license that can be found in the LICENSE file or at
   * https://opensource.org/licenses/BSD-3-Clause.
   */
  
  #pragma once
  
  #include <stdnoreturn.h>
  
  noreturn void arch_power_off(void);
  