1 /******************************************************************************
4 * Hardware platform operations. Intended for use by domain-0 kernel.
6 * Permission is hereby granted, free of charge, to any person obtaining a copy
7 * of this software and associated documentation files (the "Software"), to
8 * deal in the Software without restriction, including without limitation the
9 * rights to use, copy, modify, merge, publish, distribute, sublicense, and/or
10 * sell copies of the Software, and to permit persons to whom the Software is
11 * furnished to do so, subject to the following conditions:
13 * The above copyright notice and this permission notice shall be included in
14 * all copies or substantial portions of the Software.
16 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
17 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
18 * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
19 * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
20 * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
21 * FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER
22 * DEALINGS IN THE SOFTWARE.
24 * Copyright (c) 2002-2006, K Fraser
27 #ifndef __XEN_PUBLIC_PLATFORM_H__
28 #define __XEN_PUBLIC_PLATFORM_H__
30 #include <xen/interface/xen.h>
32 #define XENPF_INTERFACE_VERSION 0x03000001
35 * Set clock such that it would read <secs,nsecs> after 00:00:00 UTC,
36 * 1 January, 1970 if the current system time was <system_time>.
38 #define XENPF_settime 17
39 struct xenpf_settime
{
45 DEFINE_GUEST_HANDLE_STRUCT(xenpf_settime_t
);
48 * Request memory range (@mfn, @mfn+@nr_mfns-1) to have type @type.
49 * On x86, @type is an architecture-defined MTRR memory type.
50 * On success, returns the MTRR that was used (@reg) and a handle that can
51 * be passed to XENPF_DEL_MEMTYPE to accurately tear down the new setting.
54 #define XENPF_add_memtype 31
55 struct xenpf_add_memtype
{
64 DEFINE_GUEST_HANDLE_STRUCT(xenpf_add_memtype_t
);
67 * Tear down an existing memory-range type. If @handle is remembered then it
68 * should be passed in to accurately tear down the correct setting (in case
69 * of overlapping memory regions with differing types). If it is not known
70 * then @handle should be set to zero. In all cases @reg must be set.
73 #define XENPF_del_memtype 32
74 struct xenpf_del_memtype
{
79 DEFINE_GUEST_HANDLE_STRUCT(xenpf_del_memtype_t
);
81 /* Read current type of an MTRR (x86-specific). */
82 #define XENPF_read_memtype 33
83 struct xenpf_read_memtype
{
91 DEFINE_GUEST_HANDLE_STRUCT(xenpf_read_memtype_t
);
93 #define XENPF_microcode_update 35
94 struct xenpf_microcode_update
{
96 GUEST_HANDLE(void) data
; /* Pointer to microcode data */
97 uint32_t length
; /* Length of microcode data. */
99 DEFINE_GUEST_HANDLE_STRUCT(xenpf_microcode_update_t
);
101 #define XENPF_platform_quirk 39
102 #define QUIRK_NOIRQBALANCING 1 /* Do not restrict IO-APIC RTE targets */
103 #define QUIRK_IOAPIC_BAD_REGSEL 2 /* IO-APIC REGSEL forgets its value */
104 #define QUIRK_IOAPIC_GOOD_REGSEL 3 /* IO-APIC REGSEL behaves properly */
105 struct xenpf_platform_quirk
{
109 DEFINE_GUEST_HANDLE_STRUCT(xenpf_platform_quirk_t
);
111 #define XENPF_efi_runtime_call 49
112 #define XEN_EFI_get_time 1
113 #define XEN_EFI_set_time 2
114 #define XEN_EFI_get_wakeup_time 3
115 #define XEN_EFI_set_wakeup_time 4
116 #define XEN_EFI_get_next_high_monotonic_count 5
117 #define XEN_EFI_get_variable 6
118 #define XEN_EFI_set_variable 7
119 #define XEN_EFI_get_next_variable_name 8
120 #define XEN_EFI_query_variable_info 9
121 #define XEN_EFI_query_capsule_capabilities 10
122 #define XEN_EFI_update_capsule 11
124 struct xenpf_efi_runtime_call
{
127 * This field is generally used for per sub-function flags (defined
128 * below), except for the XEN_EFI_get_next_high_monotonic_count case,
129 * where it holds the single returned value.
134 #define XEN_EFI_GET_TIME_SET_CLEARS_NS 0x00000001
136 struct xenpf_efi_time
{
151 struct xenpf_efi_time set_time
;
153 #define XEN_EFI_GET_WAKEUP_TIME_ENABLED 0x00000001
154 #define XEN_EFI_GET_WAKEUP_TIME_PENDING 0x00000002
155 struct xenpf_efi_time get_wakeup_time
;
157 #define XEN_EFI_SET_WAKEUP_TIME_ENABLE 0x00000001
158 #define XEN_EFI_SET_WAKEUP_TIME_ENABLE_ONLY 0x00000002
159 struct xenpf_efi_time set_wakeup_time
;
161 #define XEN_EFI_VARIABLE_NON_VOLATILE 0x00000001
162 #define XEN_EFI_VARIABLE_BOOTSERVICE_ACCESS 0x00000002
163 #define XEN_EFI_VARIABLE_RUNTIME_ACCESS 0x00000004
165 GUEST_HANDLE(void) name
; /* UCS-2/UTF-16 string */
167 GUEST_HANDLE(void) data
;
168 struct xenpf_efi_guid
{
174 } get_variable
, set_variable
;
178 GUEST_HANDLE(void) name
; /* UCS-2/UTF-16 string */
179 struct xenpf_efi_guid vendor_guid
;
180 } get_next_variable_name
;
184 uint64_t max_store_size
;
185 uint64_t remain_store_size
;
187 } query_variable_info
;
190 GUEST_HANDLE(void) capsule_header_array
;
191 xen_ulong_t capsule_count
;
192 uint64_t max_capsule_size
;
194 } query_capsule_capabilities
;
197 GUEST_HANDLE(void) capsule_header_array
;
198 xen_ulong_t capsule_count
;
199 uint64_t sg_list
; /* machine address */
203 DEFINE_GUEST_HANDLE_STRUCT(xenpf_efi_runtime_call
);
205 #define XEN_FW_EFI_VERSION 0
206 #define XEN_FW_EFI_CONFIG_TABLE 1
207 #define XEN_FW_EFI_VENDOR 2
208 #define XEN_FW_EFI_MEM_INFO 3
209 #define XEN_FW_EFI_RT_VERSION 4
211 #define XENPF_firmware_info 50
212 #define XEN_FW_DISK_INFO 1 /* from int 13 AH=08/41/48 */
213 #define XEN_FW_DISK_MBR_SIGNATURE 2 /* from MBR offset 0x1b8 */
214 #define XEN_FW_VBEDDC_INFO 3 /* from int 10 AX=4f15 */
215 #define XEN_FW_EFI_INFO 4 /* from EFI */
216 #define XEN_FW_KBD_SHIFT_FLAGS 5 /* Int16, Fn02: Get keyboard shift flags. */
218 struct xenpf_firmware_info
{
225 /* Int13, Fn48: Check Extensions Present. */
226 uint8_t device
; /* %dl: bios device number */
227 uint8_t version
; /* %ah: major version */
228 uint16_t interface_support
; /* %cx: support bitmap */
229 /* Int13, Fn08: Legacy Get Device Parameters. */
230 uint16_t legacy_max_cylinder
; /* %cl[7:6]:%ch: max cyl # */
231 uint8_t legacy_max_head
; /* %dh: max head # */
232 uint8_t legacy_sectors_per_track
; /* %cl[5:0]: max sector # */
233 /* Int13, Fn41: Get Device Parameters (as filled into %ds:%esi). */
234 /* NB. First uint16_t of buffer must be set to buffer size. */
235 GUEST_HANDLE(void) edd_params
;
236 } disk_info
; /* XEN_FW_DISK_INFO */
238 uint8_t device
; /* bios device number */
239 uint32_t mbr_signature
; /* offset 0x1b8 in mbr */
240 } disk_mbr_signature
; /* XEN_FW_DISK_MBR_SIGNATURE */
242 /* Int10, AX=4F15: Get EDID info. */
243 uint8_t capabilities
;
244 uint8_t edid_transfer_time
;
245 /* must refer to 128-byte buffer */
246 GUEST_HANDLE(uchar
) edid
;
247 } vbeddc_info
; /* XEN_FW_VBEDDC_INFO */
249 union xenpf_efi_info
{
252 uint64_t addr
; /* EFI_CONFIGURATION_TABLE */
257 uint32_t bufsz
; /* input, in bytes */
258 GUEST_HANDLE(void) name
;
259 /* UCS-2/UTF-16 string */
267 } efi_info
; /* XEN_FW_EFI_INFO */
269 uint8_t kbd_shift_flags
; /* XEN_FW_KBD_SHIFT_FLAGS */
272 DEFINE_GUEST_HANDLE_STRUCT(xenpf_firmware_info_t
);
274 #define XENPF_enter_acpi_sleep 51
275 struct xenpf_enter_acpi_sleep
{
277 uint16_t val_a
; /* PM1a control / sleep type A. */
278 uint16_t val_b
; /* PM1b control / sleep type B. */
279 uint32_t sleep_state
; /* Which state to enter (Sn). */
280 #define XENPF_ACPI_SLEEP_EXTENDED 0x00000001
281 uint32_t flags
; /* XENPF_ACPI_SLEEP_*. */
283 DEFINE_GUEST_HANDLE_STRUCT(xenpf_enter_acpi_sleep_t
);
285 #define XENPF_change_freq 52
286 struct xenpf_change_freq
{
288 uint32_t flags
; /* Must be zero. */
289 uint32_t cpu
; /* Physical cpu. */
290 uint64_t freq
; /* New frequency (Hz). */
292 DEFINE_GUEST_HANDLE_STRUCT(xenpf_change_freq_t
);
295 * Get idle times (nanoseconds since boot) for physical CPUs specified in the
296 * @cpumap_bitmap with range [0..@cpumap_nr_cpus-1]. The @idletime array is
297 * indexed by CPU number; only entries with the corresponding @cpumap_bitmap
298 * bit set are written to. On return, @cpumap_bitmap is modified so that any
299 * non-existent CPUs are cleared. Such CPUs have their @idletime array entry
302 #define XENPF_getidletime 53
303 struct xenpf_getidletime
{
304 /* IN/OUT variables */
305 /* IN: CPUs to interrogate; OUT: subset of IN which are present */
306 GUEST_HANDLE(uchar
) cpumap_bitmap
;
308 /* Size of cpumap bitmap. */
309 uint32_t cpumap_nr_cpus
;
310 /* Must be indexable for every cpu in cpumap_bitmap. */
311 GUEST_HANDLE(uint64_t) idletime
;
313 /* System time when the idletime snapshots were taken. */
316 DEFINE_GUEST_HANDLE_STRUCT(xenpf_getidletime_t
);
318 #define XENPF_set_processor_pminfo 54
321 #define XEN_PROCESSOR_PM_CX 1
322 #define XEN_PROCESSOR_PM_PX 2
323 #define XEN_PROCESSOR_PM_TX 4
330 /* Px sub info type */
336 struct xen_power_register
{
340 uint32_t access_size
;
344 struct xen_processor_csd
{
345 uint32_t domain
; /* domain number of one dependent group */
346 uint32_t coord_type
; /* coordination type */
347 uint32_t num
; /* number of processors in same domain */
349 DEFINE_GUEST_HANDLE_STRUCT(xen_processor_csd
);
351 struct xen_processor_cx
{
352 struct xen_power_register reg
; /* GAS for Cx trigger register */
353 uint8_t type
; /* cstate value, c0: 0, c1: 1, ... */
354 uint32_t latency
; /* worst latency (ms) to enter/exit this cstate */
355 uint32_t power
; /* average power consumption(mW) */
356 uint32_t dpcnt
; /* number of dependency entries */
357 GUEST_HANDLE(xen_processor_csd
) dp
; /* NULL if no dependency */
359 DEFINE_GUEST_HANDLE_STRUCT(xen_processor_cx
);
361 struct xen_processor_flags
{
362 uint32_t bm_control
:1;
365 uint32_t power_setup_done
:1;
366 uint32_t bm_rld_set
:1;
369 struct xen_processor_power
{
370 uint32_t count
; /* number of C state entries in array below */
371 struct xen_processor_flags flags
; /* global flags of this processor */
372 GUEST_HANDLE(xen_processor_cx
) states
; /* supported c states */
375 struct xen_pct_register
{
385 struct xen_processor_px
{
386 uint64_t core_frequency
; /* megahertz */
387 uint64_t power
; /* milliWatts */
388 uint64_t transition_latency
; /* microseconds */
389 uint64_t bus_master_latency
; /* microseconds */
390 uint64_t control
; /* control value */
391 uint64_t status
; /* success indicator */
393 DEFINE_GUEST_HANDLE_STRUCT(xen_processor_px
);
395 struct xen_psd_package
{
396 uint64_t num_entries
;
400 uint64_t num_processors
;
403 struct xen_processor_performance
{
404 uint32_t flags
; /* flag for Px sub info type */
405 uint32_t platform_limit
; /* Platform limitation on freq usage */
406 struct xen_pct_register control_register
;
407 struct xen_pct_register status_register
;
408 uint32_t state_count
; /* total available performance states */
409 GUEST_HANDLE(xen_processor_px
) states
;
410 struct xen_psd_package domain_info
;
411 uint32_t shared_type
; /* coordination type of this processor */
413 DEFINE_GUEST_HANDLE_STRUCT(xen_processor_performance
);
415 struct xenpf_set_processor_pminfo
{
417 uint32_t id
; /* ACPI CPU ID */
418 uint32_t type
; /* {XEN_PM_CX, XEN_PM_PX} */
420 struct xen_processor_power power
;/* Cx: _CST/_CSD */
421 struct xen_processor_performance perf
; /* Px: _PPC/_PCT/_PSS/_PSD */
422 GUEST_HANDLE(uint32_t) pdc
;
425 DEFINE_GUEST_HANDLE_STRUCT(xenpf_set_processor_pminfo
);
427 #define XENPF_get_cpuinfo 55
428 struct xenpf_pcpuinfo
{
432 /* The maxium cpu_id that is present */
433 uint32_t max_present
;
434 #define XEN_PCPU_FLAGS_ONLINE 1
435 /* Correponding xen_cpuid is not present*/
436 #define XEN_PCPU_FLAGS_INVALID 2
441 DEFINE_GUEST_HANDLE_STRUCT(xenpf_pcpuinfo
);
443 #define XENPF_cpu_online 56
444 #define XENPF_cpu_offline 57
445 struct xenpf_cpu_ol
{
448 DEFINE_GUEST_HANDLE_STRUCT(xenpf_cpu_ol
);
450 #define XENPF_cpu_hotadd 58
451 struct xenpf_cpu_hotadd
{
457 #define XENPF_mem_hotadd 59
458 struct xenpf_mem_hotadd
{
465 #define XENPF_core_parking 60
466 struct xenpf_core_parking
{
468 #define XEN_CORE_PARKING_SET 1
469 #define XEN_CORE_PARKING_GET 2
471 /* IN variables: set cpu nums expected to be idled */
472 /* OUT variables: get cpu nums actually be idled */
475 DEFINE_GUEST_HANDLE_STRUCT(xenpf_core_parking
);
477 #define XENPF_get_symbol 63
478 struct xenpf_symdata
{
479 /* IN/OUT variables */
480 uint32_t namelen
; /* size of 'name' buffer */
482 /* IN/OUT variables */
483 uint32_t symnum
; /* IN: Symbol to read */
484 /* OUT: Next available symbol. If same as IN */
485 /* then we reached the end */
488 GUEST_HANDLE(char) name
;
492 DEFINE_GUEST_HANDLE_STRUCT(xenpf_symdata
);
494 struct xen_platform_op
{
496 uint32_t interface_version
; /* XENPF_INTERFACE_VERSION */
498 struct xenpf_settime settime
;
499 struct xenpf_add_memtype add_memtype
;
500 struct xenpf_del_memtype del_memtype
;
501 struct xenpf_read_memtype read_memtype
;
502 struct xenpf_microcode_update microcode
;
503 struct xenpf_platform_quirk platform_quirk
;
504 struct xenpf_efi_runtime_call efi_runtime_call
;
505 struct xenpf_firmware_info firmware_info
;
506 struct xenpf_enter_acpi_sleep enter_acpi_sleep
;
507 struct xenpf_change_freq change_freq
;
508 struct xenpf_getidletime getidletime
;
509 struct xenpf_set_processor_pminfo set_pminfo
;
510 struct xenpf_pcpuinfo pcpu_info
;
511 struct xenpf_cpu_ol cpu_ol
;
512 struct xenpf_cpu_hotadd cpu_add
;
513 struct xenpf_mem_hotadd mem_add
;
514 struct xenpf_core_parking core_parking
;
515 struct xenpf_symdata symdata
;
519 DEFINE_GUEST_HANDLE_STRUCT(xen_platform_op_t
);
521 #endif /* __XEN_PUBLIC_PLATFORM_H__ */