    /* SPDX-License-Identifier: MIT */
    /******************************************************************************
     * platform.h
     *
     * Hardware platform operations. Intended for use by domain-0 kernel.
     *
     * Copyright (c) 2002-2006, K Fraser
     */

    #ifndef __XEN_PUBLIC_PLATFORM_H__
    #define __XEN_PUBLIC_PLATFORM_H__

    #include "xen.h"

    #define XENPF_INTERFACE_VERSION 0x03000001

    /*
     * Set clock such that it would read <secs,nsecs> after 00:00:00 UTC,
     * 1 January, 1970 if the current system time was <system_time>.
     */
    #define XENPF_settime32           17
    struct xenpf_settime32 {
        /* IN variables. */
        uint32_t secs;
        uint32_t nsecs;
        uint64_t system_time;
    };
    typedef struct xenpf_settime32 xenpf_settime32_t;
    #define XENPF_settime64           62
    struct xenpf_settime64 {
        /* IN variables. */
        uint64_t secs;
        uint32_t nsecs;
        uint32_t mbz;
        uint64_t system_time;
    };
    typedef struct xenpf_settime64 xenpf_settime64_t;
    #if __XEN_INTERFACE_VERSION__ < 0x00040600
    #define XENPF_settime XENPF_settime32
    #define xenpf_settime xenpf_settime32
    #else
    #define XENPF_settime XENPF_settime64
    #define xenpf_settime xenpf_settime64
    #endif
    typedef struct xenpf_settime xenpf_settime_t;
    DEFINE_XEN_GUEST_HANDLE(xenpf_settime_t);

    /*
     * Request memory range (@mfn, @mfn+@nr_mfns-1) to have type @type.
     * On x86, @type is an architecture-defined MTRR memory type.
     * On success, returns the MTRR that was used (@reg) and a handle that can
     * be passed to XENPF_DEL_MEMTYPE to accurately tear down the new setting.
     * (x86-specific).
     */
    #define XENPF_add_memtype         31
    struct xenpf_add_memtype {
        /* IN variables. */
        xen_pfn_t mfn;
        uint64_t nr_mfns;
        uint32_t type;
        /* OUT variables. */
        uint32_t handle;
        uint32_t reg;
    };
    typedef struct xenpf_add_memtype xenpf_add_memtype_t;
    DEFINE_XEN_GUEST_HANDLE(xenpf_add_memtype_t);

    /*
     * Tear down an existing memory-range type. If @handle is remembered then it
     * should be passed in to accurately tear down the correct setting (in case
     * of overlapping memory regions with differing types). If it is not known
     * then @handle should be set to zero. In all cases @reg must be set.
     * (x86-specific).
     */
    #define XENPF_del_memtype         32
    struct xenpf_del_memtype {
        /* IN variables. */
        uint32_t handle;
        uint32_t reg;
    };
    typedef struct xenpf_del_memtype xenpf_del_memtype_t;
    DEFINE_XEN_GUEST_HANDLE(xenpf_del_memtype_t);

    /* Read current type of an MTRR (x86-specific). */
    #define XENPF_read_memtype        33
    struct xenpf_read_memtype {
        /* IN variables. */
        uint32_t reg;
        /* OUT variables. */
        xen_pfn_t mfn;
        uint64_t nr_mfns;
        uint32_t type;
    };
    typedef struct xenpf_read_memtype xenpf_read_memtype_t;
    DEFINE_XEN_GUEST_HANDLE(xenpf_read_memtype_t);

    #define XENPF_microcode_update    35
    struct xenpf_microcode_update {
        /* IN variables. */
        XEN_GUEST_HANDLE(const_void) data;/* Pointer to microcode data */
        uint32_t length;                  /* Length of microcode data. */
    };
    typedef struct xenpf_microcode_update xenpf_microcode_update_t;
    DEFINE_XEN_GUEST_HANDLE(xenpf_microcode_update_t);

    #define XENPF_platform_quirk      39
    #define QUIRK_NOIRQBALANCING      1 /* Do not restrict IO-APIC RTE targets */
    #define QUIRK_IOAPIC_BAD_REGSEL   2 /* IO-APIC REGSEL forgets its value    */
    #define QUIRK_IOAPIC_GOOD_REGSEL  3 /* IO-APIC REGSEL behaves properly     */
    struct xenpf_platform_quirk {
        /* IN variables. */
        uint32_t quirk_id;
    };
    typedef struct xenpf_platform_quirk xenpf_platform_quirk_t;
    DEFINE_XEN_GUEST_HANDLE(xenpf_platform_quirk_t);

    #define XENPF_efi_runtime_call    49
    #define XEN_EFI_get_time                      1
    #define XEN_EFI_set_time                      2
    #define XEN_EFI_get_wakeup_time               3
    #define XEN_EFI_set_wakeup_time               4
    #define XEN_EFI_get_next_high_monotonic_count 5
    #define XEN_EFI_get_variable                  6
    #define XEN_EFI_set_variable                  7
    #define XEN_EFI_get_next_variable_name        8
    #define XEN_EFI_query_variable_info           9
    #define XEN_EFI_query_capsule_capabilities   10
    #define XEN_EFI_update_capsule               11

    struct xenpf_efi_time {
        uint16_t year;
        uint8_t month;
        uint8_t day;
        uint8_t hour;
        uint8_t min;
        uint8_t sec;
        uint32_t ns;
        int16_t tz;
        uint8_t daylight;
    };

    struct xenpf_efi_guid {
        uint32_t data1;
        uint16_t data2;
        uint16_t data3;
        uint8_t data4[8];
    };

    struct xenpf_efi_runtime_call {
        uint32_t function;
        /*
         * This field is generally used for per sub-function flags (defined
         * below), except for the XEN_EFI_get_next_high_monotonic_count case,
         * where it holds the single returned value.
         */
        uint32_t misc;
        xen_ulong_t status;
        union {
    #define XEN_EFI_GET_TIME_SET_CLEARS_NS 0x00000001
            struct {
                struct xenpf_efi_time time;
                uint32_t resolution;
                uint32_t accuracy;
            } get_time;

            struct xenpf_efi_time set_time;

    #define XEN_EFI_GET_WAKEUP_TIME_ENABLED 0x00000001
    #define XEN_EFI_GET_WAKEUP_TIME_PENDING 0x00000002
            struct xenpf_efi_time get_wakeup_time;

    #define XEN_EFI_SET_WAKEUP_TIME_ENABLE      0x00000001
    #define XEN_EFI_SET_WAKEUP_TIME_ENABLE_ONLY 0x00000002
            struct xenpf_efi_time set_wakeup_time;

    #define XEN_EFI_VARIABLE_NON_VOLATILE       0x00000001
    #define XEN_EFI_VARIABLE_BOOTSERVICE_ACCESS 0x00000002
    #define XEN_EFI_VARIABLE_RUNTIME_ACCESS     0x00000004
            struct {
                XEN_GUEST_HANDLE(void) name;  /* UCS-2/UTF-16 string */
                xen_ulong_t size;
                XEN_GUEST_HANDLE(void) data;
                struct xenpf_efi_guid vendor_guid;
            } get_variable, set_variable;

            struct {
                xen_ulong_t size;
                XEN_GUEST_HANDLE(void) name;  /* UCS-2/UTF-16 string */
                struct xenpf_efi_guid vendor_guid;
            } get_next_variable_name;

    #define XEN_EFI_VARINFO_BOOT_SNAPSHOT       0x00000001
            struct {
                uint32_t attr;
                uint64_t max_store_size;
                uint64_t remain_store_size;
                uint64_t max_size;
            } query_variable_info;

            struct {
                XEN_GUEST_HANDLE(void) capsule_header_array;
                xen_ulong_t capsule_count;
                uint64_t max_capsule_size;
                uint32_t reset_type;
            } query_capsule_capabilities;

            struct {
                XEN_GUEST_HANDLE(void) capsule_header_array;
                xen_ulong_t capsule_count;
                uint64_t sg_list; /* machine address */
            } update_capsule;
        } u;
    };
    typedef struct xenpf_efi_runtime_call xenpf_efi_runtime_call_t;
    DEFINE_XEN_GUEST_HANDLE(xenpf_efi_runtime_call_t);

    #define XENPF_firmware_info       50
    #define XEN_FW_DISK_INFO          1 /* from int 13 AH=08/41/48 */
    #define XEN_FW_DISK_MBR_SIGNATURE 2 /* from MBR offset 0x1b8 */
    #define XEN_FW_VBEDDC_INFO        3 /* from int 10 AX=4f15 */
    #define XEN_FW_EFI_INFO           4 /* from EFI */
    #define  XEN_FW_EFI_VERSION        0
    #define  XEN_FW_EFI_CONFIG_TABLE   1
    #define  XEN_FW_EFI_VENDOR         2
    #define  XEN_FW_EFI_MEM_INFO       3
    #define  XEN_FW_EFI_RT_VERSION     4
    #define  XEN_FW_EFI_PCI_ROM        5
    #define  XEN_FW_EFI_APPLE_PROPERTIES 6
    #define XEN_FW_KBD_SHIFT_FLAGS    5
    struct xenpf_firmware_info {
        /* IN variables. */
        uint32_t type;
        uint32_t index;
        /* OUT variables. */
        union {
            struct {
                /* Int13, Fn48: Check Extensions Present. */
                uint8_t device;                   /* %dl: bios device number */
                uint8_t version;                  /* %ah: major version      */
                uint16_t interface_support;       /* %cx: support bitmap     */
                /* Int13, Fn08: Legacy Get Device Parameters. */
                uint16_t legacy_max_cylinder;     /* %cl[7:6]:%ch: max cyl # */
                uint8_t legacy_max_head;          /* %dh: max head #         */
                uint8_t legacy_sectors_per_track; /* %cl[5:0]: max sector #  */
                /* Int13, Fn41: Get Device Parameters (as filled into %ds:%esi). */
                /* NB. First uint16_t of buffer must be set to buffer size.      */
                XEN_GUEST_HANDLE(void) edd_params;
            } disk_info; /* XEN_FW_DISK_INFO */
            struct {
                uint8_t device;                   /* bios device number  */
                uint32_t mbr_signature;           /* offset 0x1b8 in mbr */
            } disk_mbr_signature; /* XEN_FW_DISK_MBR_SIGNATURE */
            struct {
                /* Int10, AX=4F15: Get EDID info. */
                uint8_t capabilities;
                uint8_t edid_transfer_time;
                /* must refer to 128-byte buffer */
                XEN_GUEST_HANDLE(uint8) edid;
            } vbeddc_info; /* XEN_FW_VBEDDC_INFO */
            union xenpf_efi_info {
                uint32_t version;
                struct {
                    uint64_t addr;                /* EFI_CONFIGURATION_TABLE */
                    uint32_t nent;
                } cfg;
                struct {
                    uint32_t revision;
                    uint32_t bufsz;               /* input, in bytes */
                    XEN_GUEST_HANDLE(void) name;  /* UCS-2/UTF-16 string */
                } vendor;
                struct {
                    uint64_t addr;
                    uint64_t size;
                    uint64_t attr;
                    uint32_t type;
                } mem;
                struct {
                    /* IN variables */
                    uint16_t segment;
                    uint8_t bus;
                    uint8_t devfn;
                    uint16_t vendor;
                    uint16_t devid;
                    /* OUT variables */
                    uint64_t address;
                    xen_ulong_t size;
                } pci_rom;
                struct {
                    /* OUT variables */
                    uint64_t address;
                    xen_ulong_t size;
                } apple_properties;
            } efi_info; /* XEN_FW_EFI_INFO */

            /* Int16, Fn02: Get keyboard shift flags. */
            uint8_t kbd_shift_flags; /* XEN_FW_KBD_SHIFT_FLAGS */
        } u;
    };
    typedef struct xenpf_firmware_info xenpf_firmware_info_t;
    DEFINE_XEN_GUEST_HANDLE(xenpf_firmware_info_t);

    #define XENPF_enter_acpi_sleep    51
    struct xenpf_enter_acpi_sleep {
        /* IN variables */
    #if __XEN_INTERFACE_VERSION__ < 0x00040300
        uint16_t pm1a_cnt_val;      /* PM1a control value. */
        uint16_t pm1b_cnt_val;      /* PM1b control value. */
    #else
        uint16_t val_a;             /* PM1a control / sleep type A. */
        uint16_t val_b;             /* PM1b control / sleep type B. */
    #endif
        uint32_t sleep_state;       /* Which state to enter (Sn). */
    #define XENPF_ACPI_SLEEP_EXTENDED 0x00000001
        uint32_t flags;             /* XENPF_ACPI_SLEEP_*. */
    };
    typedef struct xenpf_enter_acpi_sleep xenpf_enter_acpi_sleep_t;
    DEFINE_XEN_GUEST_HANDLE(xenpf_enter_acpi_sleep_t);

    #define XENPF_change_freq         52
    struct xenpf_change_freq {
        /* IN variables */
        uint32_t flags; /* Must be zero. */
        uint32_t cpu;   /* Physical cpu. */
        uint64_t freq;  /* New frequency (Hz). */
    };
    typedef struct xenpf_change_freq xenpf_change_freq_t;
    DEFINE_XEN_GUEST_HANDLE(xenpf_change_freq_t);

    /*
     * Get idle times (nanoseconds since boot) for physical CPUs specified in the
     * @cpumap_bitmap with range [0..@cpumap_nr_cpus-1]. The @idletime array is
     * indexed by CPU number; only entries with the corresponding @cpumap_bitmap
     * bit set are written to. On return, @cpumap_bitmap is modified so that any
     * non-existent CPUs are cleared. Such CPUs have their @idletime array entry
     * cleared.
     */
    #define XENPF_getidletime         53
    struct xenpf_getidletime {
        /* IN/OUT variables */
        /* IN: CPUs to interrogate; OUT: subset of IN which are present */
        XEN_GUEST_HANDLE(uint8) cpumap_bitmap;
        /* IN variables */
        /* Size of cpumap bitmap. */
        uint32_t cpumap_nr_cpus;
        /* Must be indexable for every cpu in cpumap_bitmap. */
        XEN_GUEST_HANDLE(uint64) idletime;
        /* OUT variables */
        /* System time when the idletime snapshots were taken. */
        uint64_t now;
    };
    typedef struct xenpf_getidletime xenpf_getidletime_t;
    DEFINE_XEN_GUEST_HANDLE(xenpf_getidletime_t);

    #define XENPF_set_processor_pminfo      54

    /* ability bits */
    #define XEN_PROCESSOR_PM_CX	1
    #define XEN_PROCESSOR_PM_PX	2
    #define XEN_PROCESSOR_PM_TX	4

    /* cmd type */
    #define XEN_PM_CX   0
    #define XEN_PM_PX   1
    #define XEN_PM_TX   2
    #define XEN_PM_PDC  3

    /* Px sub info type */
    #define XEN_PX_PCT   1
    #define XEN_PX_PSS   2
    #define XEN_PX_PPC   4
    #define XEN_PX_PSD   8

    struct xen_power_register {
        uint32_t     space_id;
        uint32_t     bit_width;
        uint32_t     bit_offset;
        uint32_t     access_size;
        uint64_t     address;
    };

    struct xen_processor_csd {
        uint32_t    domain;      /* domain number of one dependent group */
        uint32_t    coord_type;  /* coordination type */
        uint32_t    num;         /* number of processors in same domain */
    };
    typedef struct xen_processor_csd xen_processor_csd_t;
    DEFINE_XEN_GUEST_HANDLE(xen_processor_csd_t);

    struct xen_processor_cx {
        struct xen_power_register  reg; /* GAS for Cx trigger register */
        uint8_t     type;     /* cstate value, c0: 0, c1: 1, ... */
        uint32_t    latency;  /* worst latency (ms) to enter/exit this cstate */
        uint32_t    power;    /* average power consumption(mW) */
        uint32_t    dpcnt;    /* number of dependency entries */
        XEN_GUEST_HANDLE(xen_processor_csd_t) dp; /* NULL if no dependency */
    };
    typedef struct xen_processor_cx xen_processor_cx_t;
    DEFINE_XEN_GUEST_HANDLE(xen_processor_cx_t);

    struct xen_processor_flags {
        uint32_t bm_control:1;
        uint32_t bm_check:1;
        uint32_t has_cst:1;
        uint32_t power_setup_done:1;
        uint32_t bm_rld_set:1;
    };

    struct xen_processor_power {
        uint32_t count;  /* number of C state entries in array below */
        struct xen_processor_flags flags;  /* global flags of this processor */
        XEN_GUEST_HANDLE(xen_processor_cx_t) states; /* supported c states */
    };

    struct xen_pct_register {
        uint8_t  descriptor;
        uint16_t length;
        uint8_t  space_id;
        uint8_t  bit_width;
        uint8_t  bit_offset;
        uint8_t  reserved;
        uint64_t address;
    };

    struct xen_processor_px {
        uint64_t core_frequency; /* megahertz */
        uint64_t power;      /* milliWatts */
        uint64_t transition_latency; /* microseconds */
        uint64_t bus_master_latency; /* microseconds */
        uint64_t control;        /* control value */
        uint64_t status;     /* success indicator */
    };
    typedef struct xen_processor_px xen_processor_px_t;
    DEFINE_XEN_GUEST_HANDLE(xen_processor_px_t);

    struct xen_psd_package {
        uint64_t num_entries;
        uint64_t revision;
        uint64_t domain;
        uint64_t coord_type;
        uint64_t num_processors;
    };

    struct xen_processor_performance {
        uint32_t flags;     /* flag for Px sub info type */
        uint32_t platform_limit;  /* Platform limitation on freq usage */
        struct xen_pct_register control_register;
        struct xen_pct_register status_register;
        uint32_t state_count;     /* total available performance states */
        XEN_GUEST_HANDLE(xen_processor_px_t) states;
        struct xen_psd_package domain_info;
        /* Coordination type of this processor */
    #define XEN_CPUPERF_SHARED_TYPE_HW   1 /* HW does needed coordination */
    #define XEN_CPUPERF_SHARED_TYPE_ALL  2 /* All dependent CPUs should set freq */
    #define XEN_CPUPERF_SHARED_TYPE_ANY  3 /* Freq can be set from any dependent CPU */
        uint32_t shared_type;
    };
    typedef struct xen_processor_performance xen_processor_performance_t;
    DEFINE_XEN_GUEST_HANDLE(xen_processor_performance_t);

    struct xenpf_set_processor_pminfo {
        /* IN variables */
        uint32_t id;    /* ACPI CPU ID */
        uint32_t type;  /* {XEN_PM_CX, XEN_PM_PX} */
        union {
            struct xen_processor_power          power;/* Cx: _CST/_CSD */
            struct xen_processor_performance    perf; /* Px: _PPC/_PCT/_PSS/_PSD */
            XEN_GUEST_HANDLE(uint32)            pdc;  /* _PDC */
        } u;
    };
    typedef struct xenpf_set_processor_pminfo xenpf_set_processor_pminfo_t;
    DEFINE_XEN_GUEST_HANDLE(xenpf_set_processor_pminfo_t);

    #define XENPF_get_cpuinfo 55
    struct xenpf_pcpuinfo {
        /* IN */
        uint32_t xen_cpuid;
        /* OUT */
        /* The maxium cpu_id that is present */
        uint32_t max_present;
    #define XEN_PCPU_FLAGS_ONLINE   1
        /* Correponding xen_cpuid is not present*/
    #define XEN_PCPU_FLAGS_INVALID  2
        uint32_t flags;
        uint32_t apic_id;
        uint32_t acpi_id;
    };
    typedef struct xenpf_pcpuinfo xenpf_pcpuinfo_t;
    DEFINE_XEN_GUEST_HANDLE(xenpf_pcpuinfo_t);

    #define XENPF_get_cpu_version 48
    struct xenpf_pcpu_version {
        /* IN */
        uint32_t xen_cpuid;
        /* OUT */
        /* The maxium cpu_id that is present */
        uint32_t max_present;
        char vendor_id[12];
        uint32_t family;
        uint32_t model;
        uint32_t stepping;
    };
    typedef struct xenpf_pcpu_version xenpf_pcpu_version_t;
    DEFINE_XEN_GUEST_HANDLE(xenpf_pcpu_version_t);

    #define XENPF_cpu_online    56
    #define XENPF_cpu_offline   57
    struct xenpf_cpu_ol
    {
        uint32_t cpuid;
    };
    typedef struct xenpf_cpu_ol xenpf_cpu_ol_t;
    DEFINE_XEN_GUEST_HANDLE(xenpf_cpu_ol_t);

    #define XENPF_cpu_hotadd    58
    struct xenpf_cpu_hotadd
    {
    	uint32_t apic_id;
    	uint32_t acpi_id;
    	uint32_t pxm;
    };
    typedef struct xenpf_cpu_hotadd xenpf_cpu_hotadd_t;

    #define XENPF_mem_hotadd    59
    struct xenpf_mem_hotadd
    {
        uint64_t spfn;
        uint64_t epfn;
        uint32_t pxm;
        uint32_t flags;
    };
    typedef struct xenpf_mem_hotadd xenpf_mem_hotadd_t;

    #define XENPF_core_parking  60

    #define XEN_CORE_PARKING_SET 1
    #define XEN_CORE_PARKING_GET 2
    struct xenpf_core_parking {
        /* IN variables */
        uint32_t type;
        /* IN variables:  set cpu nums expected to be idled */
        /* OUT variables: get cpu nums actually be idled */
        uint32_t idle_nums;
    };
    typedef struct xenpf_core_parking xenpf_core_parking_t;
    DEFINE_XEN_GUEST_HANDLE(xenpf_core_parking_t);

    /*
     * Access generic platform resources(e.g., accessing MSR, port I/O, etc)
     * in unified way. Batch resource operations in one call are supported and
     * they are always non-preemptible and executed in their original order.
     * The batch itself returns a negative integer for general errors, or a
     * non-negative integer for the number of successful operations. For the latter
     * case, the @ret in the failed entry (if any) indicates the exact error.
     */
    #define XENPF_resource_op   61

    #define XEN_RESOURCE_OP_MSR_READ  0
    #define XEN_RESOURCE_OP_MSR_WRITE 1

    /*
     * Specially handled MSRs:
     * - MSR_IA32_TSC
     * READ: Returns the scaled system time(ns) instead of raw timestamp. In
     *       multiple entry case, if other MSR read is followed by a MSR_IA32_TSC
     *       read, then both reads are guaranteed to be performed atomically (with
     *       IRQ disabled). The return time indicates the point of reading that MSR.
     * WRITE: Not supported.
     */

    struct xenpf_resource_entry {
        union {
            uint32_t cmd;   /* IN: XEN_RESOURCE_OP_* */
            int32_t  ret;   /* OUT: return value for failed entry */
        } u;
        uint32_t rsvd;      /* IN: padding and must be zero */
        uint64_t idx;       /* IN: resource address to access */
        uint64_t val;       /* IN/OUT: resource value to set/get */
    };
    typedef struct xenpf_resource_entry xenpf_resource_entry_t;
    DEFINE_XEN_GUEST_HANDLE(xenpf_resource_entry_t);

    struct xenpf_resource_op {
        uint32_t nr_entries;    /* number of resource entry */
        uint32_t cpu;           /* which cpu to run */
        XEN_GUEST_HANDLE(xenpf_resource_entry_t) entries;
    };
    typedef struct xenpf_resource_op xenpf_resource_op_t;
    DEFINE_XEN_GUEST_HANDLE(xenpf_resource_op_t);

    #define XENPF_get_symbol   63
    struct xenpf_symdata {
        /* IN/OUT variables */
        uint32_t namelen; /* IN:  size of name buffer                       */
                          /* OUT: strlen(name) of hypervisor symbol (may be */
                          /*      larger than what's been copied to guest)  */
        uint32_t symnum;  /* IN:  Symbol to read                            */
                          /* OUT: Next available symbol. If same as IN then */
                          /*      we reached the end                        */

        /* OUT variables */
        XEN_GUEST_HANDLE(char) name;
        uint64_t address;
        char type;
    };
    typedef struct xenpf_symdata xenpf_symdata_t;
    DEFINE_XEN_GUEST_HANDLE(xenpf_symdata_t);

    /*
     * Fetch the video console information and mode setup by Xen.  A non-
     * negative return value indicates the size of the (part of the) structure
     * which was filled.
     */
    #define XENPF_get_dom0_console 64
    typedef struct dom0_vga_console_info xenpf_dom0_console_t;
    DEFINE_XEN_GUEST_HANDLE(xenpf_dom0_console_t);

    #define XENPF_get_ucode_revision 65
    struct xenpf_ucode_revision {
        uint32_t cpu;             /* IN:  CPU number to get the revision from.  */
        uint32_t signature;       /* OUT: CPU signature (CPUID.1.EAX).          */
        uint32_t pf;              /* OUT: Platform Flags (Intel only)           */
        uint32_t revision;        /* OUT: Microcode Revision.                   */
    };
    typedef struct xenpf_ucode_revision xenpf_ucode_revision_t;
    DEFINE_XEN_GUEST_HANDLE(xenpf_ucode_revision_t);

    /* Hypercall to microcode_update with flags */
    #define XENPF_microcode_update2    66
    struct xenpf_microcode_update2 {
        /* IN variables. */
        uint32_t flags;                   /* Flags to be passed with ucode. */
    /* Force to skip microcode version check */
    #define XENPF_UCODE_FORCE           1
        uint32_t length;                  /* Length of microcode data. */
        XEN_GUEST_HANDLE(const_void) data;/* Pointer to microcode data */
    };
    typedef struct xenpf_microcode_update2 xenpf_microcode_update2_t;
    DEFINE_XEN_GUEST_HANDLE(xenpf_microcode_update2_t);

    /*
     * ` enum neg_errnoval
     * ` HYPERVISOR_platform_op(const struct xen_platform_op*);
     */
    struct xen_platform_op {
        uint32_t cmd;
        uint32_t interface_version; /* XENPF_INTERFACE_VERSION */
        union {
            xenpf_settime_t               settime;
            xenpf_settime32_t             settime32;
            xenpf_settime64_t             settime64;
            xenpf_add_memtype_t           add_memtype;
            xenpf_del_memtype_t           del_memtype;
            xenpf_read_memtype_t          read_memtype;
            xenpf_microcode_update_t      microcode;
            xenpf_platform_quirk_t        platform_quirk;
            xenpf_efi_runtime_call_t      efi_runtime_call;
            xenpf_firmware_info_t         firmware_info;
            xenpf_enter_acpi_sleep_t      enter_acpi_sleep;
            xenpf_change_freq_t           change_freq;
            xenpf_getidletime_t           getidletime;
            xenpf_set_processor_pminfo_t  set_pminfo;
            xenpf_pcpuinfo_t              pcpu_info;
            xenpf_pcpu_version_t          pcpu_version;
            xenpf_cpu_ol_t                cpu_ol;
            xenpf_cpu_hotadd_t            cpu_add;
            xenpf_mem_hotadd_t            mem_add;
            xenpf_core_parking_t          core_parking;
            xenpf_resource_op_t           resource_op;
            xenpf_symdata_t               symdata;
            xenpf_dom0_console_t          dom0_console;
            xenpf_ucode_revision_t        ucode_revision;
            xenpf_microcode_update2_t     microcode2;
            uint8_t                       pad[128];
        } u;
    };
    typedef struct xen_platform_op xen_platform_op_t;
    DEFINE_XEN_GUEST_HANDLE(xen_platform_op_t);
    /* [see __HYPERVISOR_platform_op] */

    #endif /* __XEN_PUBLIC_PLATFORM_H__ */

    /*
     * Local variables:
     * mode: C
     * c-file-style: "BSD"
     * c-basic-offset: 4
     * tab-width: 4
     * indent-tabs-mode: nil
     * End:
     */