#ifndef _LINUX_EFI_H
#define _LINUX_EFI_H

/*
 * Extensible Firmware Interface
 * Based on 'Extensible Firmware Interface Specification' version 0.9, April 30, 1999
 *
 * Copyright (C) 1999 VA Linux Systems
 * Copyright (C) 1999 Walt Drummond <drummond@valinux.com>
 * Copyright (C) 1999, 2002-2003 Hewlett-Packard Co.
 *      David Mosberger-Tang <davidm@hpl.hp.com>
 *      Stephane Eranian <eranian@hpl.hp.com>
 */
#include <linux/init.h>
#include <linux/string.h>
#include <linux/time.h>
#include <linux/types.h>
#include <linux/proc_fs.h>
#include <linux/rtc.h>
#include <linux/ioport.h>
#include <linux/pfn.h>
#include <linux/pstore.h>
#include <linux/mutex.h>

#include <asm/page.h>

#define EFI_SUCCESS             0
#define EFI_LOAD_ERROR          ( 1 | (1UL << (BITS_PER_LONG-1)))
#define EFI_INVALID_PARAMETER   ( 2 | (1UL << (BITS_PER_LONG-1)))
#define EFI_UNSUPPORTED         ( 3 | (1UL << (BITS_PER_LONG-1)))
#define EFI_BAD_BUFFER_SIZE     ( 4 | (1UL << (BITS_PER_LONG-1)))
#define EFI_BUFFER_TOO_SMALL    ( 5 | (1UL << (BITS_PER_LONG-1)))
#define EFI_NOT_READY           ( 6 | (1UL << (BITS_PER_LONG-1)))
#define EFI_DEVICE_ERROR        ( 7 | (1UL << (BITS_PER_LONG-1)))
#define EFI_WRITE_PROTECTED     ( 8 | (1UL << (BITS_PER_LONG-1)))
#define EFI_OUT_OF_RESOURCES    ( 9 | (1UL << (BITS_PER_LONG-1)))
#define EFI_NOT_FOUND           (14 | (1UL << (BITS_PER_LONG-1)))
#define EFI_ABORTED             (21 | (1UL << (BITS_PER_LONG-1)))
#define EFI_SECURITY_VIOLATION  (26 | (1UL << (BITS_PER_LONG-1)))

typedef unsigned long efi_status_t;
typedef u8 efi_bool_t;
typedef u16 efi_char16_t;               /* UNICODE character */
typedef u64 efi_physical_addr_t;
typedef void *efi_handle_t;


typedef struct {
        u8 b[16];
} efi_guid_t;

#define EFI_GUID(a,b,c,d0,d1,d2,d3,d4,d5,d6,d7) \
((efi_guid_t) \
{{ (a) & 0xff, ((a) >> 8) & 0xff, ((a) >> 16) & 0xff, ((a) >> 24) & 0xff, \
  (b) & 0xff, ((b) >> 8) & 0xff, \
  (c) & 0xff, ((c) >> 8) & 0xff, \
  (d0), (d1), (d2), (d3), (d4), (d5), (d6), (d7) }})

/*
 * Generic EFI table header
 */
typedef struct {
        u64 signature;
        u32 revision;
        u32 headersize;
        u32 crc32;
        u32 reserved;
} efi_table_hdr_t;

/*
 * Memory map descriptor:
 */

/* Memory types: */
#define EFI_RESERVED_TYPE                0
#define EFI_LOADER_CODE                  1
#define EFI_LOADER_DATA                  2
#define EFI_BOOT_SERVICES_CODE           3
#define EFI_BOOT_SERVICES_DATA           4
#define EFI_RUNTIME_SERVICES_CODE        5
#define EFI_RUNTIME_SERVICES_DATA        6
#define EFI_CONVENTIONAL_MEMORY          7
#define EFI_UNUSABLE_MEMORY              8
#define EFI_ACPI_RECLAIM_MEMORY          9
#define EFI_ACPI_MEMORY_NVS             10
#define EFI_MEMORY_MAPPED_IO            11
#define EFI_MEMORY_MAPPED_IO_PORT_SPACE 12
#define EFI_PAL_CODE                    13
#define EFI_PERSISTENT_MEMORY           14
#define EFI_MAX_MEMORY_TYPE             15

/* Attribute values: */
#define EFI_MEMORY_UC           ((u64)0x0000000000000001ULL)    /* uncached */
#define EFI_MEMORY_WC           ((u64)0x0000000000000002ULL)    /* write-coalescing */
#define EFI_MEMORY_WT           ((u64)0x0000000000000004ULL)    /* write-through */
#define EFI_MEMORY_WB           ((u64)0x0000000000000008ULL)    /* write-back */
#define EFI_MEMORY_WP           ((u64)0x0000000000001000ULL)    /* write-protect */
#define EFI_MEMORY_RP           ((u64)0x0000000000002000ULL)    /* read-protect */
#define EFI_MEMORY_XP           ((u64)0x0000000000004000ULL)    /* execute-protect */
#define EFI_MEMORY_NV           ((u64)0x0000000000008000ULL)    /* non-volatile */
#define EFI_MEMORY_MORE_RELIABLE \
                                ((u64)0x0000000000010000ULL)    /* higher reliability */
#define EFI_MEMORY_RUNTIME      ((u64)0x8000000000000000ULL)    /* range requires runtime mapping */
#define EFI_MEMORY_DESCRIPTOR_VERSION   1

#define EFI_PAGE_SHIFT          12
#define EFI_PAGE_SIZE           (1UL << EFI_PAGE_SHIFT)

typedef struct {
        u32 type;
        u32 pad;
        u64 phys_addr;
        u64 virt_addr;
        u64 num_pages;
        u64 attribute;
} efi_memory_desc_t;

typedef struct {
        efi_guid_t guid;
        u32 headersize;
        u32 flags;
        u32 imagesize;
} efi_capsule_header_t;

/*
 * Allocation types for calls to boottime->allocate_pages.
 */
#define EFI_ALLOCATE_ANY_PAGES          0
#define EFI_ALLOCATE_MAX_ADDRESS        1
#define EFI_ALLOCATE_ADDRESS            2
#define EFI_MAX_ALLOCATE_TYPE           3

typedef int (*efi_freemem_callback_t) (u64 start, u64 end, void *arg);

/*
 * Types and defines for Time Services
 */
#define EFI_TIME_ADJUST_DAYLIGHT 0x1
#define EFI_TIME_IN_DAYLIGHT     0x2
#define EFI_UNSPECIFIED_TIMEZONE 0x07ff

typedef struct {
        u16 year;
        u8 month;
        u8 day;
        u8 hour;
        u8 minute;
        u8 second;
        u8 pad1;
        u32 nanosecond;
        s16 timezone;
        u8 daylight;
        u8 pad2;
} efi_time_t;

typedef struct {
        u32 resolution;
        u32 accuracy;
        u8 sets_to_zero;
} efi_time_cap_t;

typedef struct {
        efi_table_hdr_t hdr;
        u32 raise_tpl;
        u32 restore_tpl;
        u32 allocate_pages;
        u32 free_pages;
        u32 get_memory_map;
        u32 allocate_pool;
        u32 free_pool;
        u32 create_event;
        u32 set_timer;
        u32 wait_for_event;
        u32 signal_event;
        u32 close_event;
        u32 check_event;
        u32 install_protocol_interface;
        u32 reinstall_protocol_interface;
        u32 uninstall_protocol_interface;
        u32 handle_protocol;
        u32 __reserved;
        u32 register_protocol_notify;
        u32 locate_handle;
        u32 locate_device_path;
        u32 install_configuration_table;
        u32 load_image;
        u32 start_image;
        u32 exit;
        u32 unload_image;
        u32 exit_boot_services;
        u32 get_next_monotonic_count;
        u32 stall;
        u32 set_watchdog_timer;
        u32 connect_controller;
        u32 disconnect_controller;
        u32 open_protocol;
        u32 close_protocol;
        u32 open_protocol_information;
        u32 protocols_per_handle;
        u32 locate_handle_buffer;
        u32 locate_protocol;
        u32 install_multiple_protocol_interfaces;
        u32 uninstall_multiple_protocol_interfaces;
        u32 calculate_crc32;
        u32 copy_mem;
        u32 set_mem;
        u32 create_event_ex;
} __packed efi_boot_services_32_t;

typedef struct {
        efi_table_hdr_t hdr;
        u64 raise_tpl;
        u64 restore_tpl;
        u64 allocate_pages;
        u64 free_pages;
        u64 get_memory_map;
        u64 allocate_pool;
        u64 free_pool;
        u64 create_event;
        u64 set_timer;
        u64 wait_for_event;
        u64 signal_event;
        u64 close_event;
        u64 check_event;
        u64 install_protocol_interface;
        u64 reinstall_protocol_interface;
        u64 uninstall_protocol_interface;
        u64 handle_protocol;
        u64 __reserved;
        u64 register_protocol_notify;
        u64 locate_handle;
        u64 locate_device_path;
        u64 install_configuration_table;
        u64 load_image;
        u64 start_image;
        u64 exit;
        u64 unload_image;
        u64 exit_boot_services;
        u64 get_next_monotonic_count;
        u64 stall;
        u64 set_watchdog_timer;
        u64 connect_controller;
        u64 disconnect_controller;
        u64 open_protocol;
        u64 close_protocol;
        u64 open_protocol_information;
        u64 protocols_per_handle;
        u64 locate_handle_buffer;
        u64 locate_protocol;
        u64 install_multiple_protocol_interfaces;
        u64 uninstall_multiple_protocol_interfaces;
        u64 calculate_crc32;
        u64 copy_mem;
        u64 set_mem;
        u64 create_event_ex;
} __packed efi_boot_services_64_t;

/*
 * EFI Boot Services table
 */
typedef struct {
        efi_table_hdr_t hdr;
        void *raise_tpl;
        void *restore_tpl;
        efi_status_t (*allocate_pages)(int, int, unsigned long,
                                       efi_physical_addr_t *);
        efi_status_t (*free_pages)(efi_physical_addr_t, unsigned long);
        efi_status_t (*get_memory_map)(unsigned long *, void *, unsigned long *,
                                       unsigned long *, u32 *);
        efi_status_t (*allocate_pool)(int, unsigned long, void **);
        efi_status_t (*free_pool)(void *);
        void *create_event;
        void *set_timer;
        void *wait_for_event;
        void *signal_event;
        void *close_event;
        void *check_event;
        void *install_protocol_interface;
        void *reinstall_protocol_interface;
        void *uninstall_protocol_interface;
        efi_status_t (*handle_protocol)(efi_handle_t, efi_guid_t *, void **);
        void *__reserved;
        void *register_protocol_notify;
        void *locate_handle;
        void *locate_device_path;
        void *install_configuration_table;
        void *load_image;
        void *start_image;
        void *exit;
        void *unload_image;
        efi_status_t (*exit_boot_services)(efi_handle_t, unsigned long);
        void *get_next_monotonic_count;
        void *stall;
        void *set_watchdog_timer;
        void *connect_controller;
        void *disconnect_controller;
        void *open_protocol;
        void *close_protocol;
        void *open_protocol_information;
        void *protocols_per_handle;
        void *locate_handle_buffer;
        void *locate_protocol;
        void *install_multiple_protocol_interfaces;
        void *uninstall_multiple_protocol_interfaces;
        void *calculate_crc32;
        void *copy_mem;
        void *set_mem;
        void *create_event_ex;
} efi_boot_services_t;

typedef enum {
        EfiPciIoWidthUint8,
        EfiPciIoWidthUint16,
        EfiPciIoWidthUint32,
        EfiPciIoWidthUint64,
        EfiPciIoWidthFifoUint8,
        EfiPciIoWidthFifoUint16,
        EfiPciIoWidthFifoUint32,
        EfiPciIoWidthFifoUint64,
        EfiPciIoWidthFillUint8,
        EfiPciIoWidthFillUint16,
        EfiPciIoWidthFillUint32,
        EfiPciIoWidthFillUint64,
        EfiPciIoWidthMaximum
} EFI_PCI_IO_PROTOCOL_WIDTH;

typedef enum {
        EfiPciIoAttributeOperationGet,
        EfiPciIoAttributeOperationSet,
        EfiPciIoAttributeOperationEnable,
        EfiPciIoAttributeOperationDisable,
        EfiPciIoAttributeOperationSupported,
    EfiPciIoAttributeOperationMaximum
} EFI_PCI_IO_PROTOCOL_ATTRIBUTE_OPERATION;

typedef struct {
        u32 read;
        u32 write;
} efi_pci_io_protocol_access_32_t;

typedef struct {
        u64 read;
        u64 write;
} efi_pci_io_protocol_access_64_t;

typedef struct {
        void *read;
        void *write;
} efi_pci_io_protocol_access_t;

typedef struct {
        u32 poll_mem;
        u32 poll_io;
        efi_pci_io_protocol_access_32_t mem;
        efi_pci_io_protocol_access_32_t io;
        efi_pci_io_protocol_access_32_t pci;
        u32 copy_mem;
        u32 map;
        u32 unmap;
        u32 allocate_buffer;
        u32 free_buffer;
        u32 flush;
        u32 get_location;
        u32 attributes;
        u32 get_bar_attributes;
        u32 set_bar_attributes;
        uint64_t romsize;
        void *romimage;
} efi_pci_io_protocol_32;

typedef struct {
        u64 poll_mem;
        u64 poll_io;
        efi_pci_io_protocol_access_64_t mem;
        efi_pci_io_protocol_access_64_t io;
        efi_pci_io_protocol_access_64_t pci;
        u64 copy_mem;
        u64 map;
        u64 unmap;
        u64 allocate_buffer;
        u64 free_buffer;
        u64 flush;
        u64 get_location;
        u64 attributes;
        u64 get_bar_attributes;
        u64 set_bar_attributes;
        uint64_t romsize;
        void *romimage;
} efi_pci_io_protocol_64;

typedef struct {
        void *poll_mem;
        void *poll_io;
        efi_pci_io_protocol_access_t mem;
        efi_pci_io_protocol_access_t io;
        efi_pci_io_protocol_access_t pci;
        void *copy_mem;
        void *map;
        void *unmap;
        void *allocate_buffer;
        void *free_buffer;
        void *flush;
        void *get_location;
        void *attributes;
        void *get_bar_attributes;
        void *set_bar_attributes;
        uint64_t romsize;
        void *romimage;
} efi_pci_io_protocol;

#define EFI_PCI_IO_ATTRIBUTE_ISA_MOTHERBOARD_IO 0x0001
#define EFI_PCI_IO_ATTRIBUTE_ISA_IO 0x0002
#define EFI_PCI_IO_ATTRIBUTE_VGA_PALETTE_IO 0x0004
#define EFI_PCI_IO_ATTRIBUTE_VGA_MEMORY 0x0008
#define EFI_PCI_IO_ATTRIBUTE_VGA_IO 0x0010
#define EFI_PCI_IO_ATTRIBUTE_IDE_PRIMARY_IO 0x0020
#define EFI_PCI_IO_ATTRIBUTE_IDE_SECONDARY_IO 0x0040
#define EFI_PCI_IO_ATTRIBUTE_MEMORY_WRITE_COMBINE 0x0080
#define EFI_PCI_IO_ATTRIBUTE_IO 0x0100
#define EFI_PCI_IO_ATTRIBUTE_MEMORY 0x0200
#define EFI_PCI_IO_ATTRIBUTE_BUS_MASTER 0x0400
#define EFI_PCI_IO_ATTRIBUTE_MEMORY_CACHED 0x0800
#define EFI_PCI_IO_ATTRIBUTE_MEMORY_DISABLE 0x1000
#define EFI_PCI_IO_ATTRIBUTE_EMBEDDED_DEVICE 0x2000
#define EFI_PCI_IO_ATTRIBUTE_EMBEDDED_ROM 0x4000
#define EFI_PCI_IO_ATTRIBUTE_DUAL_ADDRESS_CYCLE 0x8000
#define EFI_PCI_IO_ATTRIBUTE_ISA_IO_16 0x10000
#define EFI_PCI_IO_ATTRIBUTE_VGA_PALETTE_IO_16 0x20000
#define EFI_PCI_IO_ATTRIBUTE_VGA_IO_16 0x40000

/*
 * Types and defines for EFI ResetSystem
 */
#define EFI_RESET_COLD 0
#define EFI_RESET_WARM 1
#define EFI_RESET_SHUTDOWN 2

/*
 * EFI Runtime Services table
 */
#define EFI_RUNTIME_SERVICES_SIGNATURE ((u64)0x5652453544e5552ULL)
#define EFI_RUNTIME_SERVICES_REVISION  0x00010000

typedef struct {
        efi_table_hdr_t hdr;
        u32 get_time;
        u32 set_time;
        u32 get_wakeup_time;
        u32 set_wakeup_time;
        u32 set_virtual_address_map;
        u32 convert_pointer;
        u32 get_variable;
        u32 get_next_variable;
        u32 set_variable;
        u32 get_next_high_mono_count;
        u32 reset_system;
        u32 update_capsule;
        u32 query_capsule_caps;
        u32 query_variable_info;
} efi_runtime_services_32_t;

typedef struct {
        efi_table_hdr_t hdr;
        u64 get_time;
        u64 set_time;
        u64 get_wakeup_time;
        u64 set_wakeup_time;
        u64 set_virtual_address_map;
        u64 convert_pointer;
        u64 get_variable;
        u64 get_next_variable;
        u64 set_variable;
        u64 get_next_high_mono_count;
        u64 reset_system;
        u64 update_capsule;
        u64 query_capsule_caps;
        u64 query_variable_info;
} efi_runtime_services_64_t;

typedef struct {
        efi_table_hdr_t hdr;
        void *get_time;
        void *set_time;
        void *get_wakeup_time;
        void *set_wakeup_time;
        void *set_virtual_address_map;
        void *convert_pointer;
        void *get_variable;
        void *get_next_variable;
        void *set_variable;
        void *get_next_high_mono_count;
        void *reset_system;
        void *update_capsule;
        void *query_capsule_caps;
        void *query_variable_info;
} efi_runtime_services_t;

typedef efi_status_t efi_get_time_t (efi_time_t *tm, efi_time_cap_t *tc);
typedef efi_status_t efi_set_time_t (efi_time_t *tm);
typedef efi_status_t efi_get_wakeup_time_t (efi_bool_t *enabled, efi_bool_t *pending,
                                            efi_time_t *tm);
typedef efi_status_t efi_set_wakeup_time_t (efi_bool_t enabled, efi_time_t *tm);
typedef efi_status_t efi_get_variable_t (efi_char16_t *name, efi_guid_t *vendor, u32 *attr,
                                         unsigned long *data_size, void *data);
typedef efi_status_t efi_get_next_variable_t (unsigned long *name_size, efi_char16_t *name,
                                              efi_guid_t *vendor);
typedef efi_status_t efi_set_variable_t (efi_char16_t *name, efi_guid_t *vendor, 
                                         u32 attr, unsigned long data_size,
                                         void *data);
typedef efi_status_t
efi_set_variable_nonblocking_t(efi_char16_t *name, efi_guid_t *vendor,
                               u32 attr, unsigned long data_size, void *data);

typedef efi_status_t efi_get_next_high_mono_count_t (u32 *count);
typedef void efi_reset_system_t (int reset_type, efi_status_t status,
                                 unsigned long data_size, efi_char16_t *data);
typedef efi_status_t efi_set_virtual_address_map_t (unsigned long memory_map_size,
                                                unsigned long descriptor_size,
                                                u32 descriptor_version,
                                                efi_memory_desc_t *virtual_map);
typedef efi_status_t efi_query_variable_info_t(u32 attr,
                                               u64 *storage_space,
                                               u64 *remaining_space,
                                               u64 *max_variable_size);
typedef efi_status_t efi_update_capsule_t(efi_capsule_header_t **capsules,
                                          unsigned long count,
                                          unsigned long sg_list);
typedef efi_status_t efi_query_capsule_caps_t(efi_capsule_header_t **capsules,
                                              unsigned long count,
                                              u64 *max_size,
                                              int *reset_type);
typedef efi_status_t efi_query_variable_store_t(u32 attributes,
                                                unsigned long size,
                                                bool nonblocking);

void efi_native_runtime_setup(void);

/*
 *  EFI Configuration Table and GUID definitions
 */
#define NULL_GUID \
    EFI_GUID(  0x00000000, 0x0000, 0x0000, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00 )

#define MPS_TABLE_GUID    \
    EFI_GUID(  0xeb9d2d2f, 0x2d88, 0x11d3, 0x9a, 0x16, 0x0, 0x90, 0x27, 0x3f, 0xc1, 0x4d )

#define ACPI_TABLE_GUID    \
    EFI_GUID(  0xeb9d2d30, 0x2d88, 0x11d3, 0x9a, 0x16, 0x0, 0x90, 0x27, 0x3f, 0xc1, 0x4d )

#define ACPI_20_TABLE_GUID    \
    EFI_GUID(  0x8868e871, 0xe4f1, 0x11d3, 0xbc, 0x22, 0x0, 0x80, 0xc7, 0x3c, 0x88, 0x81 )

#define SMBIOS_TABLE_GUID    \
    EFI_GUID(  0xeb9d2d31, 0x2d88, 0x11d3, 0x9a, 0x16, 0x0, 0x90, 0x27, 0x3f, 0xc1, 0x4d )

#define SMBIOS3_TABLE_GUID    \
    EFI_GUID(  0xf2fd1544, 0x9794, 0x4a2c, 0x99, 0x2e, 0xe5, 0xbb, 0xcf, 0x20, 0xe3, 0x94 )

#define SAL_SYSTEM_TABLE_GUID    \
    EFI_GUID(  0xeb9d2d32, 0x2d88, 0x11d3, 0x9a, 0x16, 0x0, 0x90, 0x27, 0x3f, 0xc1, 0x4d )

#define HCDP_TABLE_GUID \
    EFI_GUID(  0xf951938d, 0x620b, 0x42ef, 0x82, 0x79, 0xa8, 0x4b, 0x79, 0x61, 0x78, 0x98 )

#define UGA_IO_PROTOCOL_GUID \
    EFI_GUID(  0x61a4d49e, 0x6f68, 0x4f1b, 0xb9, 0x22, 0xa8, 0x6e, 0xed, 0xb, 0x7, 0xa2 )

#define EFI_GLOBAL_VARIABLE_GUID \
    EFI_GUID(  0x8be4df61, 0x93ca, 0x11d2, 0xaa, 0x0d, 0x00, 0xe0, 0x98, 0x03, 0x2b, 0x8c )

#define UV_SYSTEM_TABLE_GUID \
    EFI_GUID(  0x3b13a7d4, 0x633e, 0x11dd, 0x93, 0xec, 0xda, 0x25, 0x56, 0xd8, 0x95, 0x93 )

#define LINUX_EFI_CRASH_GUID \
    EFI_GUID(  0xcfc8fc79, 0xbe2e, 0x4ddc, 0x97, 0xf0, 0x9f, 0x98, 0xbf, 0xe2, 0x98, 0xa0 )

#define LOADED_IMAGE_PROTOCOL_GUID \
    EFI_GUID(  0x5b1b31a1, 0x9562, 0x11d2, 0x8e, 0x3f, 0x00, 0xa0, 0xc9, 0x69, 0x72, 0x3b )

#define EFI_GRAPHICS_OUTPUT_PROTOCOL_GUID \
    EFI_GUID(  0x9042a9de, 0x23dc, 0x4a38, 0x96, 0xfb, 0x7a, 0xde, 0xd0, 0x80, 0x51, 0x6a )

#define EFI_UGA_PROTOCOL_GUID \
    EFI_GUID(  0x982c298b, 0xf4fa, 0x41cb, 0xb8, 0x38, 0x77, 0xaa, 0x68, 0x8f, 0xb8, 0x39 )

#define EFI_PCI_IO_PROTOCOL_GUID \
    EFI_GUID(  0x4cf5b200, 0x68b8, 0x4ca5, 0x9e, 0xec, 0xb2, 0x3e, 0x3f, 0x50, 0x2, 0x9a )

#define EFI_FILE_INFO_ID \
    EFI_GUID(  0x9576e92, 0x6d3f, 0x11d2, 0x8e, 0x39, 0x00, 0xa0, 0xc9, 0x69, 0x72, 0x3b )

#define EFI_SYSTEM_RESOURCE_TABLE_GUID \
    EFI_GUID(  0xb122a263, 0x3661, 0x4f68, 0x99, 0x29, 0x78, 0xf8, 0xb0, 0xd6, 0x21, 0x80 )

#define EFI_FILE_SYSTEM_GUID \
    EFI_GUID(  0x964e5b22, 0x6459, 0x11d2, 0x8e, 0x39, 0x00, 0xa0, 0xc9, 0x69, 0x72, 0x3b )

#define EFI_CERT_SHA256_GUID \
    EFI_GUID(  0xc1c41626, 0x504c, 0x4092, 0xac, 0xa9, 0x41, 0xf9, 0x36, 0x93, 0x43, 0x28 )

#define EFI_CERT_X509_GUID \
    EFI_GUID(  0xa5c059a1, 0x94e4, 0x4aa7, 0x87, 0xb5, 0xab, 0x15, 0x5c, 0x2b, 0xf0, 0x72 )

#define EFI_IMAGE_SECURITY_DATABASE_GUID \
    EFI_GUID(  0xd719b2cb, 0x3d3a, 0x4596, 0xa3, 0xbc, 0xda, 0xd0, 0x0e, 0x67, 0x65, 0x6f )

#define EFI_SHIM_LOCK_GUID \
    EFI_GUID(  0x605dab50, 0xe046, 0x4300, 0xab, 0xb6, 0x3d, 0xd8, 0x10, 0xdd, 0x8b, 0x23 )

typedef struct {
        efi_guid_t guid;
        u64 table;
} efi_config_table_64_t;

typedef struct {
        efi_guid_t guid;
        u32 table;
} efi_config_table_32_t;

typedef struct {
        efi_guid_t guid;
        unsigned long table;
} efi_config_table_t;

typedef struct {
        efi_guid_t guid;
        const char *name;
        unsigned long *ptr;
} efi_config_table_type_t;

#define EFI_SYSTEM_TABLE_SIGNATURE ((u64)0x5453595320494249ULL)

#define EFI_2_30_SYSTEM_TABLE_REVISION  ((2 << 16) | (30))
#define EFI_2_20_SYSTEM_TABLE_REVISION  ((2 << 16) | (20))
#define EFI_2_10_SYSTEM_TABLE_REVISION  ((2 << 16) | (10))
#define EFI_2_00_SYSTEM_TABLE_REVISION  ((2 << 16) | (00))
#define EFI_1_10_SYSTEM_TABLE_REVISION  ((1 << 16) | (10))
#define EFI_1_02_SYSTEM_TABLE_REVISION  ((1 << 16) | (02))

typedef struct {
        efi_table_hdr_t hdr;
        u64 fw_vendor;  /* physical addr of CHAR16 vendor string */
        u32 fw_revision;
        u32 __pad1;
        u64 con_in_handle;
        u64 con_in;
        u64 con_out_handle;
        u64 con_out;
        u64 stderr_handle;
        u64 stderr;
        u64 runtime;
        u64 boottime;
        u32 nr_tables;
        u32 __pad2;
        u64 tables;
} efi_system_table_64_t;

typedef struct {
        efi_table_hdr_t hdr;
        u32 fw_vendor;  /* physical addr of CHAR16 vendor string */
        u32 fw_revision;
        u32 con_in_handle;
        u32 con_in;
        u32 con_out_handle;
        u32 con_out;
        u32 stderr_handle;
        u32 stderr;
        u32 runtime;
        u32 boottime;
        u32 nr_tables;
        u32 tables;
} efi_system_table_32_t;

typedef struct {
        efi_table_hdr_t hdr;
        unsigned long fw_vendor;        /* physical addr of CHAR16 vendor string */
        u32 fw_revision;
        unsigned long con_in_handle;
        unsigned long con_in;
        unsigned long con_out_handle;
        unsigned long con_out;
        unsigned long stderr_handle;
        unsigned long stderr;
        efi_runtime_services_t *runtime;
        efi_boot_services_t *boottime;
        unsigned long nr_tables;
        unsigned long tables;
} efi_system_table_t;

struct efi_memory_map {
        RH_KABI_REPLACE(void *phys_map, phys_addr_t phys_map)
        void *map;
        void *map_end;
        int nr_map;
        unsigned long desc_version;
        unsigned long desc_size;
};

typedef struct {
        u32 revision;
        u32 parent_handle;
        u32 system_table;
        u32 device_handle;
        u32 file_path;
        u32 reserved;
        u32 load_options_size;
        u32 load_options;
        u32 image_base;
        __aligned_u64 image_size;
        unsigned int image_code_type;
        unsigned int image_data_type;
        unsigned long unload;
} efi_loaded_image_32_t;

typedef struct {
        u32 revision;
        u64 parent_handle;
        u64 system_table;
        u64 device_handle;
        u64 file_path;
        u64 reserved;
        u32 load_options_size;
        u64 load_options;
        u64 image_base;
        __aligned_u64 image_size;
        unsigned int image_code_type;
        unsigned int image_data_type;
        unsigned long unload;
} efi_loaded_image_64_t;

typedef struct {
        u32 revision;
        void *parent_handle;
        efi_system_table_t *system_table;
        void *device_handle;
        void *file_path;
        void *reserved;
        u32 load_options_size;
        void *load_options;
        void *image_base;
        __aligned_u64 image_size;
        unsigned int image_code_type;
        unsigned int image_data_type;
        unsigned long unload;
} efi_loaded_image_t;


typedef struct {
        u64 size;
        u64 file_size;
        u64 phys_size;
        efi_time_t create_time;
        efi_time_t last_access_time;
        efi_time_t modification_time;
        __aligned_u64 attribute;
        efi_char16_t filename[1];
} efi_file_info_t;

typedef struct {
        u64 revision;
        u32 open;
        u32 close;
        u32 delete;
        u32 read;
        u32 write;
        u32 get_position;
        u32 set_position;
        u32 get_info;
        u32 set_info;
        u32 flush;
} efi_file_handle_32_t;

typedef struct {
        u64 revision;
        u64 open;
        u64 close;
        u64 delete;
        u64 read;
        u64 write;
        u64 get_position;
        u64 set_position;
        u64 get_info;
        u64 set_info;
        u64 flush;
} efi_file_handle_64_t;

typedef struct _efi_file_handle {
        u64 revision;
        efi_status_t (*open)(struct _efi_file_handle *,
                             struct _efi_file_handle **,
                             efi_char16_t *, u64, u64);
        efi_status_t (*close)(struct _efi_file_handle *);
        void *delete;
        efi_status_t (*read)(struct _efi_file_handle *, unsigned long *,
                             void *);
        void *write;
        void *get_position;
        void *set_position;
        efi_status_t (*get_info)(struct _efi_file_handle *, efi_guid_t *,
                        unsigned long *, void *);
        void *set_info;
        void *flush;
} efi_file_handle_t;

typedef struct _efi_file_io_interface {
        u64 revision;
        int (*open_volume)(struct _efi_file_io_interface *,
                           efi_file_handle_t **);
} efi_file_io_interface_t;

#define EFI_FILE_MODE_READ      0x0000000000000001
#define EFI_FILE_MODE_WRITE     0x0000000000000002
#define EFI_FILE_MODE_CREATE    0x8000000000000000

#define EFI_INVALID_TABLE_ADDR          (~0UL)

typedef struct  {
        efi_guid_t signature_owner;
        u8 signature_data[];
} efi_signature_data_t;

typedef struct {
        efi_guid_t signature_type;
        u32 signature_list_size;
        u32 signature_header_size;
        u32 signature_size;
        u8 signature_header[];
        /* efi_signature_data_t signatures[][] */
} efi_signature_list_t;

/*
 * All runtime access to EFI goes through this structure:
 */
extern struct efi {
        efi_system_table_t *systab;     /* EFI system table */
        unsigned int runtime_version;   /* Runtime services version */
        unsigned long mps;              /* MPS table */
        unsigned long acpi;             /* ACPI table  (IA64 ext 0.71) */
        unsigned long acpi20;           /* ACPI table  (ACPI 2.0) */
        unsigned long smbios;           /* SMBIOS table (32 bit entry point) */
        unsigned long sal_systab;       /* SAL system table */
        unsigned long boot_info;        /* boot info table */
        unsigned long hcdp;             /* HCDP table */
        unsigned long uga;              /* UGA table */
        unsigned long uv_systab;        /* UV system table */
        unsigned long fw_vendor;        /* fw_vendor */
        unsigned long runtime;          /* runtime table */
        unsigned long config_table;     /* config tables */
        efi_get_time_t *get_time;
        efi_set_time_t *set_time;
        efi_get_wakeup_time_t *get_wakeup_time;
        efi_set_wakeup_time_t *set_wakeup_time;
        efi_get_variable_t *get_variable;
        efi_get_next_variable_t *get_next_variable;
        efi_set_variable_t *set_variable;
        efi_query_variable_info_t *query_variable_info;
        efi_update_capsule_t *update_capsule;
        efi_query_capsule_caps_t *query_capsule_caps;
        efi_get_next_high_mono_count_t *get_next_high_mono_count;
        efi_reset_system_t *reset_system;
        efi_set_virtual_address_map_t *set_virtual_address_map;
        struct efi_memory_map *memmap;
        /* SMBIOS table (64 bit entry point) */
        RH_KABI_EXTEND(unsigned long smbios3)
        /* ESRT table */
        RH_KABI_EXTEND(unsigned long esrt)
        /* EFI facility flags */
        RH_KABI_EXTEND(unsigned long flags)
        /* Provide a non-blocking SetVariable() operation */
        RH_KABI_EXTEND(efi_set_variable_nonblocking_t *set_variable_nonblocking)
        /* Provide a non-blocking QueryVariableInfo() operation */
        RH_KABI_EXTEND(efi_query_variable_info_t *query_variable_info_nonblocking)
} efi;

extern struct mm_struct efi_mm;

static inline int
efi_guidcmp (efi_guid_t left, efi_guid_t right)
{
        return memcmp(&left, &right, sizeof (efi_guid_t));
}

static inline char *
efi_guid_to_str(efi_guid_t *guid, char *out)
{
        sprintf(out, "%pUl", guid->b);
        return out;
}

extern void efi_init (void);
extern void *efi_get_pal_addr (void);
extern void efi_map_pal_code (void);
extern void efi_memmap_walk (efi_freemem_callback_t callback, void *arg);
extern void efi_gettimeofday (struct timespec *ts);
extern void efi_enter_virtual_mode (void);      /* switch EFI to virtual mode, if possible */
#ifdef CONFIG_X86
extern void efi_late_init(void);
extern void efi_free_boot_services(void);
extern efi_status_t efi_query_variable_store(u32 attributes,
                                             unsigned long size,
                                             bool nonblocking);
extern void efi_find_mirror(void);
#else
static inline void efi_late_init(void) {}
static inline void efi_free_boot_services(void) {}

static inline efi_status_t efi_query_variable_store(u32 attributes,
                                                    unsigned long size,
                                                    bool nonblocking)
{
        return EFI_SUCCESS;
}
#endif
extern void __iomem *efi_lookup_mapped_addr(u64 phys_addr);
extern int efi_config_init(efi_config_table_type_t *arch_tables);
#ifdef CONFIG_EFI_ESRT
extern void __init efi_esrt_init(void);
#else
static inline void efi_esrt_init(void) { }
#endif
extern u64 efi_get_iobase (void);
extern int efi_mem_type(unsigned long phys_addr);
extern u64 efi_mem_attributes (unsigned long phys_addr);
extern u64 efi_mem_attribute (unsigned long phys_addr, unsigned long size);
extern int __init efi_uart_console_only (void);
extern u64 efi_mem_desc_end(efi_memory_desc_t *md);
extern int efi_mem_desc_lookup(u64 phys_addr, efi_memory_desc_t *out_md);
extern void efi_initialize_iomem_resources(struct resource *code_resource,
                struct resource *data_resource, struct resource *bss_resource);
extern void efi_get_time(struct timespec *now);
extern int efi_set_rtc_mmss(const struct timespec *now);
extern void efi_reserve_boot_services(void);
extern struct efi_memory_map memmap;
extern struct kobject *efi_kobj;

struct key;
extern int __init parse_efi_signature_list(const void *data, size_t size,
                                           struct key *keyring);

/*
 * efi_early_memdesc_ptr - get the n-th EFI memmap descriptor
 * @map: the start of efi memmap
 * @desc_size: the size of space for each EFI memmap descriptor
 * @n: the index of efi memmap descriptor
 *
 * EFI boot service provides the GetMemoryMap() function to get a copy of the
 * current memory map which is an array of memory descriptors, each of
 * which describes a contiguous block of memory. It also gets the size of the
 * map, and the size of each descriptor, etc.
 *
 * Note that per section 6.2 of UEFI Spec 2.6 Errata A, the returned size of
 * each descriptor might not be equal to sizeof(efi_memory_memdesc_t),
 * since efi_memory_memdesc_t may be extended in the future. Thus the OS
 * MUST use the returned size of the descriptor to find the start of each
 * efi_memory_memdesc_t in the memory map array. This should only be used
 * during bootup since for_each_efi_memory_desc_xxx() is available after the
 * kernel initializes the EFI subsystem to set up struct efi_memory_map.
 */
#define efi_early_memdesc_ptr(map, desc_size, n)                        \
        (efi_memory_desc_t *)((void *)(map) + ((n) * (desc_size)))

/**
 * efi_range_is_wc - check the WC bit on an address range
 * @start: starting kvirt address
 * @len: length of range
 *
 * Consult the EFI memory map and make sure it's ok to set this range WC.
 * Returns true or false.
 */
static inline int efi_range_is_wc(unsigned long start, unsigned long len)
{
        unsigned long i;

        for (i = 0; i < len; i += (1UL << EFI_PAGE_SHIFT)) {
                unsigned long paddr = __pa(start + i);
                if (!(efi_mem_attributes(paddr) & EFI_MEMORY_WC))
                        return 0;
        }
        /* The range checked out */
        return 1;
}

#ifdef CONFIG_EFI_PCDP
extern int __init efi_setup_pcdp_console(char *);
#endif

/*
 * We play games with efi_enabled so that the compiler will, if
 * possible, remove EFI-related code altogether.
 */
#define EFI_BOOT                0       /* Were we booted from EFI? */
#define EFI_SYSTEM_TABLES       1       /* Can we use EFI system tables? */
#define EFI_CONFIG_TABLES       2       /* Can we use EFI config tables? */
#define EFI_RUNTIME_SERVICES    3       /* Can we use runtime services? */
#define EFI_MEMMAP              4       /* Can we use EFI memory map? */
#define EFI_64BIT               5       /* Is the firmware 64-bit? */
#define EFI_SECURE_BOOT         6       /* Area we in Secure Boot mode? */
#define EFI_ARCH_1              7       /* First arch-specific bit */

#ifdef CONFIG_EFI

# ifdef CONFIG_X86

/*
 * Test whether the above EFI_* bits are enabled.
 */
static inline bool efi_enabled(int feature)
{
        return test_bit(feature, &efi.flags) != 0;
}

extern bool efi_is_table_address(unsigned long phys_addr);
# else
static inline bool efi_enabled(int feature)
{
        return true;
}
# endif
#else
static inline bool efi_enabled(int feature)
{
        return false;
}

static inline bool efi_is_table_address(unsigned long phys_addr)
{
        return false;
}
#endif

/*
 * Variable Attributes
 */
#define EFI_VARIABLE_NON_VOLATILE       0x0000000000000001
#define EFI_VARIABLE_BOOTSERVICE_ACCESS 0x0000000000000002
#define EFI_VARIABLE_RUNTIME_ACCESS     0x0000000000000004
#define EFI_VARIABLE_HARDWARE_ERROR_RECORD 0x0000000000000008
#define EFI_VARIABLE_AUTHENTICATED_WRITE_ACCESS 0x0000000000000010
#define EFI_VARIABLE_TIME_BASED_AUTHENTICATED_WRITE_ACCESS 0x0000000000000020
#define EFI_VARIABLE_APPEND_WRITE       0x0000000000000040

#define EFI_VARIABLE_MASK       (EFI_VARIABLE_NON_VOLATILE | \
                                EFI_VARIABLE_BOOTSERVICE_ACCESS | \
                                EFI_VARIABLE_RUNTIME_ACCESS | \
                                EFI_VARIABLE_HARDWARE_ERROR_RECORD | \
                                EFI_VARIABLE_AUTHENTICATED_WRITE_ACCESS | \
                                EFI_VARIABLE_TIME_BASED_AUTHENTICATED_WRITE_ACCESS | \
                                EFI_VARIABLE_APPEND_WRITE)
/*
 * Length of a GUID string (strlen("aaaaaaaa-bbbb-cccc-dddd-eeeeeeeeeeee"))
 * not including trailing NUL
 */
#define EFI_VARIABLE_GUID_LEN 36

/*
 * The type of search to perform when calling boottime->locate_handle
 */
#define EFI_LOCATE_ALL_HANDLES                  0
#define EFI_LOCATE_BY_REGISTER_NOTIFY           1
#define EFI_LOCATE_BY_PROTOCOL                  2

/*
 * EFI Device Path information
 */
#define EFI_DEV_HW                      0x01
#define  EFI_DEV_PCI                             1
#define  EFI_DEV_PCCARD                          2
#define  EFI_DEV_MEM_MAPPED                      3
#define  EFI_DEV_VENDOR                          4
#define  EFI_DEV_CONTROLLER                      5
#define EFI_DEV_ACPI                    0x02
#define   EFI_DEV_BASIC_ACPI                     1
#define   EFI_DEV_EXPANDED_ACPI                  2
#define EFI_DEV_MSG                     0x03
#define   EFI_DEV_MSG_ATAPI                      1
#define   EFI_DEV_MSG_SCSI                       2
#define   EFI_DEV_MSG_FC                         3
#define   EFI_DEV_MSG_1394                       4
#define   EFI_DEV_MSG_USB                        5
#define   EFI_DEV_MSG_USB_CLASS                 15
#define   EFI_DEV_MSG_I20                        6
#define   EFI_DEV_MSG_MAC                       11
#define   EFI_DEV_MSG_IPV4                      12
#define   EFI_DEV_MSG_IPV6                      13
#define   EFI_DEV_MSG_INFINIBAND                 9
#define   EFI_DEV_MSG_UART                      14
#define   EFI_DEV_MSG_VENDOR                    10
#define EFI_DEV_MEDIA                   0x04
#define   EFI_DEV_MEDIA_HARD_DRIVE               1
#define   EFI_DEV_MEDIA_CDROM                    2
#define   EFI_DEV_MEDIA_VENDOR                   3
#define   EFI_DEV_MEDIA_FILE                     4
#define   EFI_DEV_MEDIA_PROTOCOL                 5
#define EFI_DEV_BIOS_BOOT               0x05
#define EFI_DEV_END_PATH                0x7F
#define EFI_DEV_END_PATH2               0xFF
#define   EFI_DEV_END_INSTANCE                  0x01
#define   EFI_DEV_END_ENTIRE                    0xFF

struct efi_generic_dev_path {
        u8 type;
        u8 sub_type;
        u16 length;
} __attribute ((packed));

struct efi_dev_path {
        u8 type;        /* can be replaced with unnamed */
        u8 sub_type;    /* struct efi_generic_dev_path; */
        u16 length;     /* once we've moved to -std=c11 */
        union {
                struct {
                        u32 hid;
                        u32 uid;
                } acpi;
                struct {
                        u8 fn;
                        u8 dev;
                } pci;
        };
} __attribute ((packed));

#if IS_ENABLED(CONFIG_EFI_DEV_PATH_PARSER)
struct device *efi_get_device_by_path(struct efi_dev_path **node, size_t *len);
#endif

static inline void memrange_efi_to_native(u64 *addr, u64 *npages)
{
        *npages = PFN_UP(*addr + (*npages<<EFI_PAGE_SHIFT)) - PFN_DOWN(*addr);
        *addr &= PAGE_MASK;
}

/*
 * EFI Variable support.
 *
 * Different firmware drivers can expose their EFI-like variables using
 * the following.
 */

struct efivar_operations {
        efi_get_variable_t *get_variable;
        efi_get_next_variable_t *get_next_variable;
        efi_set_variable_t *set_variable;
        efi_set_variable_nonblocking_t *set_variable_nonblocking;
        efi_query_variable_store_t *query_variable_store;
};

struct efivars {
        struct kset *kset;
        struct kobject *kobject;
        const struct efivar_operations *ops;
};

/*
 * The maximum size of VariableName + Data = 1024
 * Therefore, it's reasonable to save that much
 * space in each part of the structure,
 * and we use a page for reading/writing.
 */

#define EFI_VAR_NAME_LEN        1024

struct efi_variable {
        efi_char16_t  VariableName[EFI_VAR_NAME_LEN/sizeof(efi_char16_t)];
        efi_guid_t    VendorGuid;
        unsigned long DataSize;
        __u8          Data[1024];
        efi_status_t  Status;
        __u32         Attributes;
} __attribute__((packed));

struct efivar_entry {
        struct efi_variable var;
        struct list_head list;
        struct kobject kobj;
        bool scanning;
        bool deleting;
        struct mutex var_data_mutex;    /* Protect var.DataSize and var.Data */
};

struct efi_simple_text_output_protocol_32 {
        u32 reset;
        u32 output_string;
        u32 test_string;
};

struct efi_simple_text_output_protocol_64 {
        u64 reset;
        u64 output_string;
        u64 test_string;
};

struct efi_simple_text_output_protocol {
        void *reset;
        efi_status_t (*output_string)(void *, void *);
        void *test_string;
};

extern struct list_head efivar_sysfs_list;

static inline void
efivar_unregister(struct efivar_entry *var)
{
        kobject_put(&var->kobj);
}

int efivars_register(struct efivars *efivars,
                     const struct efivar_operations *ops,
                     struct kobject *kobject);
int efivars_unregister(struct efivars *efivars);
struct kobject *efivars_kobject(void);

int efivar_init(int (*func)(efi_char16_t *, efi_guid_t, unsigned long, void *),
                void *data, bool duplicates, struct list_head *head);

int efivar_entry_add(struct efivar_entry *entry, struct list_head *head);
int efivar_entry_remove(struct efivar_entry *entry);

int __efivar_entry_delete(struct efivar_entry *entry);
int efivar_entry_delete(struct efivar_entry *entry);

int efivar_entry_size(struct efivar_entry *entry, unsigned long *size);
int __efivar_entry_get(struct efivar_entry *entry, u32 *attributes,
                       unsigned long *size, void *data);
int efivar_entry_get(struct efivar_entry *entry, u32 *attributes,
                     unsigned long *size, void *data);
int efivar_entry_set(struct efivar_entry *entry, u32 attributes,
                     unsigned long size, void *data, struct list_head *head);
int efivar_entry_set_get_size(struct efivar_entry *entry, u32 attributes,
                              unsigned long *size, void *data, bool *set);
int efivar_entry_set_safe(efi_char16_t *name, efi_guid_t vendor, u32 attributes,
                          bool block, unsigned long size, void *data);

int efivar_entry_iter_begin(void);
void efivar_entry_iter_end(void);

int __efivar_entry_iter(int (*func)(struct efivar_entry *, void *),
                        struct list_head *head, void *data,
                        struct efivar_entry **prev);
int efivar_entry_iter(int (*func)(struct efivar_entry *, void *),
                      struct list_head *head, void *data);

struct efivar_entry *efivar_entry_find(efi_char16_t *name, efi_guid_t guid,
                                       struct list_head *head, bool remove);

bool efivar_validate(efi_guid_t vendor, efi_char16_t *var_name, u8 *data,
                     unsigned long data_size);
bool efivar_variable_is_removable(efi_guid_t vendor, const char *name,
                                  size_t len);

extern struct work_struct efivar_work;
void efivar_run_worker(void);

#if defined(CONFIG_EFI_VARS) || defined(CONFIG_EFI_VARS_MODULE)
int efivars_sysfs_init(void);

#define EFIVARS_DATA_SIZE_MAX 1024

#endif /* CONFIG_EFI_VARS */

#ifdef CONFIG_EFI_RUNTIME_MAP
int efi_runtime_map_init(struct kobject *);
void efi_runtime_map_setup(void *, int, u32);
int efi_get_runtime_map_size(void);
int efi_get_runtime_map_desc_size(void);
int efi_runtime_map_copy(void *buf, size_t bufsz);
#else
static inline int efi_runtime_map_init(struct kobject *kobj)
{
        return 0;
}

static inline void
efi_runtime_map_setup(void *map, int nr_entries, u32 desc_size) {}

static inline int efi_get_runtime_map_size(void)
{
        return 0;
}

static inline int efi_get_runtime_map_desc_size(void)
{
        return 0;
}

static inline int efi_runtime_map_copy(void *buf, size_t bufsz)
{
        return 0;
}

#endif

bool efi_runtime_disabled(void);
extern void efi_call_virt_check_flags(unsigned long flags, const char *call);

/*
 * Arch code can implement the following three template macros, avoiding
 * reptition for the void/non-void return cases of {__,}efi_call_virt():
 *
 *  * arch_efi_call_virt_setup()
 *
 *    Sets up the environment for the call (e.g. switching page tables,
 *    allowing kernel-mode use of floating point, if required).
 *
 *  * arch_efi_call_virt()
 *
 *    Performs the call. The last expression in the macro must be the call
 *    itself, allowing the logic to be shared by the void and non-void
 *    cases.
 *
 *  * arch_efi_call_virt_teardown()
 *
 *    Restores the usual kernel environment once the call has returned.
 */

#define efi_call_virt_pointer(p, f, args...)                            \
({                                                                      \
        efi_status_t __s;                                               \
        unsigned long __flags;                                          \
        bool ibrs_on;                                                   \
                                                                        \
        ibrs_on = arch_efi_call_virt_setup();                           \
                                                                        \
        local_save_flags(__flags);                                      \
        __s = arch_efi_call_virt(p, f, args);                           \
        efi_call_virt_check_flags(__flags, __stringify(f));             \
                                                                        \
        arch_efi_call_virt_teardown(ibrs_on);                           \
                                                                        \
        __s;                                                            \
})

#define __efi_call_virt_pointer(p, f, args...)                          \
({                                                                      \
        unsigned long __flags;                                          \
        bool ibrs_on;                                                   \
                                                                        \
        ibrs_on = arch_efi_call_virt_setup();                           \
                                                                        \
        local_save_flags(__flags);                                      \
        arch_efi_call_virt(p, f, args);                                 \
        efi_call_virt_check_flags(__flags, __stringify(f));             \
                                                                        \
        arch_efi_call_virt_teardown(ibrs_on);                           \
})

/*
 * efi_runtime_service() function identifiers.
 * "NONE" is used by efi_recover_from_page_fault() to check if the page
 * fault happened while executing an efi runtime service.
 */
enum efi_rts_ids {
        NONE,
        GET_TIME,
        SET_TIME,
        GET_WAKEUP_TIME,
        SET_WAKEUP_TIME,
        GET_VARIABLE,
        GET_NEXT_VARIABLE,
        SET_VARIABLE,
        QUERY_VARIABLE_INFO,
        GET_NEXT_HIGH_MONO_COUNT,
        RESET_SYSTEM,
        UPDATE_CAPSULE,
        QUERY_CAPSULE_CAPS,
};

/*
 * efi_runtime_work:    Details of EFI Runtime Service work
 * @arg<1-5>:           EFI Runtime Service function arguments
 * @status:             Status of executing EFI Runtime Service
 * @efi_rts_id:         EFI Runtime Service function identifier
 * @efi_rts_comp:       Struct used for handling completions
 */
struct efi_runtime_work {
        void *arg1;
        void *arg2;
        void *arg3;
        void *arg4;
        void *arg5;
        efi_status_t status;
        struct work_struct work;
        enum efi_rts_ids efi_rts_id;
        struct completion efi_rts_comp;
};

extern struct efi_runtime_work efi_rts_work;

/* Workqueue to queue EFI Runtime Services */
extern struct workqueue_struct *efi_rts_wq;

#endif /* _LINUX_EFI_H */