linux/drivers/firmware/efi/reboot.c

// SPDX-License-Identifier: GPL-2.0
/*
 * Copyright (C) 2014 Intel Corporation; author Matt Fleming
 * Copyright (c) 2014 Red Hat, Inc., Mark Salter <[email protected]>
 */
#include <linux/efi.h>
#include <linux/reboot.h>

static struct sys_off_handler *efi_sys_off_handler;

int efi_reboot_quirk_mode = …;

void efi_reboot(enum reboot_mode reboot_mode, const char *__unused)
{ … }

bool __weak efi_poweroff_required(void)
{ … }

static int efi_power_off(struct sys_off_data *data)
{ … }

static int __init efi_shutdown_init(void)
{ … }
late_initcall(efi_shutdown_init);