forked from Minki/linux
f3d6027ee0
Rename the current XENPF_settime hypercall and related struct to XENPF_settime32. Signed-off-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com> Acked-by: Arnd Bergmann <arnd@arndb.de> Reviewed-by: Boris Ostrovsky <boris.ostrovsky@oracle.com>
532 lines
16 KiB
C
532 lines
16 KiB
C
/******************************************************************************
|
|
* platform.h
|
|
*
|
|
* Hardware platform operations. Intended for use by domain-0 kernel.
|
|
*
|
|
* Permission is hereby granted, free of charge, to any person obtaining a copy
|
|
* of this software and associated documentation files (the "Software"), to
|
|
* deal in the Software without restriction, including without limitation the
|
|
* rights to use, copy, modify, merge, publish, distribute, sublicense, and/or
|
|
* sell copies of the Software, and to permit persons to whom the Software is
|
|
* furnished to do so, subject to the following conditions:
|
|
*
|
|
* The above copyright notice and this permission notice shall be included in
|
|
* all copies or substantial portions of the Software.
|
|
*
|
|
* THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
|
|
* IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
|
|
* FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
|
|
* AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
|
|
* LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
|
|
* FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER
|
|
* DEALINGS IN THE SOFTWARE.
|
|
*
|
|
* Copyright (c) 2002-2006, K Fraser
|
|
*/
|
|
|
|
#ifndef __XEN_PUBLIC_PLATFORM_H__
|
|
#define __XEN_PUBLIC_PLATFORM_H__
|
|
|
|
#include <xen/interface/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;
|
|
};
|
|
DEFINE_GUEST_HANDLE_STRUCT(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;
|
|
};
|
|
DEFINE_GUEST_HANDLE_STRUCT(xenpf_settime64_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;
|
|
};
|
|
DEFINE_GUEST_HANDLE_STRUCT(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;
|
|
};
|
|
DEFINE_GUEST_HANDLE_STRUCT(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;
|
|
};
|
|
DEFINE_GUEST_HANDLE_STRUCT(xenpf_read_memtype_t);
|
|
|
|
#define XENPF_microcode_update 35
|
|
struct xenpf_microcode_update {
|
|
/* IN variables. */
|
|
GUEST_HANDLE(void) data; /* Pointer to microcode data */
|
|
uint32_t length; /* Length of microcode data. */
|
|
};
|
|
DEFINE_GUEST_HANDLE_STRUCT(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;
|
|
};
|
|
DEFINE_GUEST_HANDLE_STRUCT(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_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 {
|
|
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;
|
|
} 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 {
|
|
GUEST_HANDLE(void) name; /* UCS-2/UTF-16 string */
|
|
xen_ulong_t size;
|
|
GUEST_HANDLE(void) data;
|
|
struct xenpf_efi_guid {
|
|
uint32_t data1;
|
|
uint16_t data2;
|
|
uint16_t data3;
|
|
uint8_t data4[8];
|
|
} vendor_guid;
|
|
} get_variable, set_variable;
|
|
|
|
struct {
|
|
xen_ulong_t size;
|
|
GUEST_HANDLE(void) name; /* UCS-2/UTF-16 string */
|
|
struct xenpf_efi_guid vendor_guid;
|
|
} get_next_variable_name;
|
|
|
|
struct {
|
|
uint32_t attr;
|
|
uint64_t max_store_size;
|
|
uint64_t remain_store_size;
|
|
uint64_t max_size;
|
|
} query_variable_info;
|
|
|
|
struct {
|
|
GUEST_HANDLE(void) capsule_header_array;
|
|
xen_ulong_t capsule_count;
|
|
uint64_t max_capsule_size;
|
|
uint32_t reset_type;
|
|
} query_capsule_capabilities;
|
|
|
|
struct {
|
|
GUEST_HANDLE(void) capsule_header_array;
|
|
xen_ulong_t capsule_count;
|
|
uint64_t sg_list; /* machine address */
|
|
} update_capsule;
|
|
} u;
|
|
};
|
|
DEFINE_GUEST_HANDLE_STRUCT(xenpf_efi_runtime_call);
|
|
|
|
#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 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_KBD_SHIFT_FLAGS 5 /* Int16, Fn02: Get keyboard shift flags. */
|
|
|
|
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. */
|
|
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 */
|
|
GUEST_HANDLE(uchar) 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 */
|
|
GUEST_HANDLE(void) name;
|
|
/* UCS-2/UTF-16 string */
|
|
} vendor;
|
|
struct {
|
|
uint64_t addr;
|
|
uint64_t size;
|
|
uint64_t attr;
|
|
uint32_t type;
|
|
} mem;
|
|
} efi_info; /* XEN_FW_EFI_INFO */
|
|
|
|
uint8_t kbd_shift_flags; /* XEN_FW_KBD_SHIFT_FLAGS */
|
|
} u;
|
|
};
|
|
DEFINE_GUEST_HANDLE_STRUCT(xenpf_firmware_info_t);
|
|
|
|
#define XENPF_enter_acpi_sleep 51
|
|
struct xenpf_enter_acpi_sleep {
|
|
/* IN variables */
|
|
uint16_t val_a; /* PM1a control / sleep type A. */
|
|
uint16_t val_b; /* PM1b control / sleep type B. */
|
|
uint32_t sleep_state; /* Which state to enter (Sn). */
|
|
#define XENPF_ACPI_SLEEP_EXTENDED 0x00000001
|
|
uint32_t flags; /* XENPF_ACPI_SLEEP_*. */
|
|
};
|
|
DEFINE_GUEST_HANDLE_STRUCT(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). */
|
|
};
|
|
DEFINE_GUEST_HANDLE_STRUCT(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 */
|
|
GUEST_HANDLE(uchar) cpumap_bitmap;
|
|
/* IN variables */
|
|
/* Size of cpumap bitmap. */
|
|
uint32_t cpumap_nr_cpus;
|
|
/* Must be indexable for every cpu in cpumap_bitmap. */
|
|
GUEST_HANDLE(uint64_t) idletime;
|
|
/* OUT variables */
|
|
/* System time when the idletime snapshots were taken. */
|
|
uint64_t now;
|
|
};
|
|
DEFINE_GUEST_HANDLE_STRUCT(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 */
|
|
};
|
|
DEFINE_GUEST_HANDLE_STRUCT(xen_processor_csd);
|
|
|
|
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 */
|
|
GUEST_HANDLE(xen_processor_csd) dp; /* NULL if no dependency */
|
|
};
|
|
DEFINE_GUEST_HANDLE_STRUCT(xen_processor_cx);
|
|
|
|
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 */
|
|
GUEST_HANDLE(xen_processor_cx) 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 */
|
|
};
|
|
DEFINE_GUEST_HANDLE_STRUCT(xen_processor_px);
|
|
|
|
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 */
|
|
GUEST_HANDLE(xen_processor_px) states;
|
|
struct xen_psd_package domain_info;
|
|
uint32_t shared_type; /* coordination type of this processor */
|
|
};
|
|
DEFINE_GUEST_HANDLE_STRUCT(xen_processor_performance);
|
|
|
|
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 */
|
|
GUEST_HANDLE(uint32_t) pdc;
|
|
};
|
|
};
|
|
DEFINE_GUEST_HANDLE_STRUCT(xenpf_set_processor_pminfo);
|
|
|
|
#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;
|
|
};
|
|
DEFINE_GUEST_HANDLE_STRUCT(xenpf_pcpuinfo);
|
|
|
|
#define XENPF_cpu_online 56
|
|
#define XENPF_cpu_offline 57
|
|
struct xenpf_cpu_ol {
|
|
uint32_t cpuid;
|
|
};
|
|
DEFINE_GUEST_HANDLE_STRUCT(xenpf_cpu_ol);
|
|
|
|
#define XENPF_cpu_hotadd 58
|
|
struct xenpf_cpu_hotadd {
|
|
uint32_t apic_id;
|
|
uint32_t acpi_id;
|
|
uint32_t pxm;
|
|
};
|
|
|
|
#define XENPF_mem_hotadd 59
|
|
struct xenpf_mem_hotadd {
|
|
uint64_t spfn;
|
|
uint64_t epfn;
|
|
uint32_t pxm;
|
|
uint32_t flags;
|
|
};
|
|
|
|
#define XENPF_core_parking 60
|
|
struct xenpf_core_parking {
|
|
/* IN variables */
|
|
#define XEN_CORE_PARKING_SET 1
|
|
#define XEN_CORE_PARKING_GET 2
|
|
uint32_t type;
|
|
/* IN variables: set cpu nums expected to be idled */
|
|
/* OUT variables: get cpu nums actually be idled */
|
|
uint32_t idle_nums;
|
|
};
|
|
DEFINE_GUEST_HANDLE_STRUCT(xenpf_core_parking);
|
|
|
|
#define XENPF_get_symbol 63
|
|
struct xenpf_symdata {
|
|
/* IN/OUT variables */
|
|
uint32_t namelen; /* size of 'name' buffer */
|
|
|
|
/* IN/OUT variables */
|
|
uint32_t symnum; /* IN: Symbol to read */
|
|
/* OUT: Next available symbol. If same as IN */
|
|
/* then we reached the end */
|
|
|
|
/* OUT variables */
|
|
GUEST_HANDLE(char) name;
|
|
uint64_t address;
|
|
char type;
|
|
};
|
|
DEFINE_GUEST_HANDLE_STRUCT(xenpf_symdata);
|
|
|
|
struct xen_platform_op {
|
|
uint32_t cmd;
|
|
uint32_t interface_version; /* XENPF_INTERFACE_VERSION */
|
|
union {
|
|
struct xenpf_settime32 settime32;
|
|
struct xenpf_settime64 settime64;
|
|
struct xenpf_add_memtype add_memtype;
|
|
struct xenpf_del_memtype del_memtype;
|
|
struct xenpf_read_memtype read_memtype;
|
|
struct xenpf_microcode_update microcode;
|
|
struct xenpf_platform_quirk platform_quirk;
|
|
struct xenpf_efi_runtime_call efi_runtime_call;
|
|
struct xenpf_firmware_info firmware_info;
|
|
struct xenpf_enter_acpi_sleep enter_acpi_sleep;
|
|
struct xenpf_change_freq change_freq;
|
|
struct xenpf_getidletime getidletime;
|
|
struct xenpf_set_processor_pminfo set_pminfo;
|
|
struct xenpf_pcpuinfo pcpu_info;
|
|
struct xenpf_cpu_ol cpu_ol;
|
|
struct xenpf_cpu_hotadd cpu_add;
|
|
struct xenpf_mem_hotadd mem_add;
|
|
struct xenpf_core_parking core_parking;
|
|
struct xenpf_symdata symdata;
|
|
uint8_t pad[128];
|
|
} u;
|
|
};
|
|
DEFINE_GUEST_HANDLE_STRUCT(xen_platform_op_t);
|
|
|
|
#endif /* __XEN_PUBLIC_PLATFORM_H__ */
|