linux/arch/x86/xen/efi.c

// SPDX-License-Identifier: GPL-2.0
/*
 * Copyright (c) 2014 Oracle Co., Daniel Kiper
 */

#include <linux/bitops.h>
#include <linux/efi.h>
#include <linux/init.h>
#include <linux/string.h>

#include <xen/xen.h>
#include <xen/xen-ops.h>
#include <xen/interface/platform.h>

#include <asm/page.h>
#include <asm/setup.h>
#include <asm/xen/hypercall.h>

#include "xen-ops.h"

static efi_char16_t vendor[100] __initdata;

static efi_system_table_t efi_systab_xen __initdata = …;

static efi_system_table_t __init *xen_efi_probe(void)
{ … }

/*
 * Determine whether we're in secure boot mode.
 */
static enum efi_secureboot_mode xen_efi_get_secureboot(void)
{ … }

void __init xen_efi_init(struct boot_params *boot_params)
{ … }