blob: d48bd8526a816c1fe6175825ee60f9197e8b2e17 [file] [log] [blame]
bart51e61da2012-10-23 18:03:28 +00001#ifndef __VKI_XEN_HVM_H
2#define __VKI_XEN_HVM_H
3
4/* Get/set subcommands: extra argument == pointer to xen_hvm_param struct. */
5#define VKI_XEN_HVMOP_set_param 0
6#define VKI_XEN_HVMOP_get_param 1
7struct vki_xen_hvm_param {
8 vki_xen_domid_t domid; /* IN */
9 vki_uint32_t index; /* IN */
10 vki_uint64_t value; /* IN/OUT */
11};
12
bartf38a8f02015-06-28 16:44:21 +000013#define VKI_XEN_HVMOP_set_pci_intx_level 2
14struct vki_xen_hvm_set_pci_intx_level {
15 vki_xen_domid_t domid;
16 vki_uint8_t domain, bus, device, intx;
17 vki_uint8_t level;
18};
19typedef struct vki_xen_hvm_set_pci_intx_level vki_xen_hvm_set_pci_intx_level_t;
20
barta5f81a02014-05-01 08:04:42 +000021#define VKI_XEN_HVMOP_set_isa_irq_level 3
22struct vki_xen_hvm_set_isa_irq_level {
23 vki_xen_domid_t domid;
24 vki_uint8_t isa_irq;
25 vki_uint8_t level;
26};
27typedef struct vki_xen_hvm_set_isa_irq_level vki_xen_hvm_set_isa_irq_level_t;
28
bart2c280712014-05-01 08:05:06 +000029#define VKI_XEN_HVMOP_set_pci_link_route 4
30struct vki_xen_hvm_set_pci_link_route {
31 vki_xen_domid_t domid;
32 vki_uint8_t link;
33 vki_uint8_t isa_irq;
34};
35typedef struct vki_xen_hvm_set_pci_link_route vki_xen_hvm_set_pci_link_route_t;
36
bartd1388da2015-06-28 16:43:14 +000037#define VKI_XEN_HVMOP_track_dirty_vram 6
38struct vki_xen_hvm_track_dirty_vram {
39 vki_xen_domid_t domid; /* IN */
40 vki_xen_uint64_aligned_t first_pfn; /* IN */
41 vki_xen_uint64_aligned_t nr; /* IN */
42 VKI_XEN_GUEST_HANDLE_64(vki_uint8) dirty_bitmap; /* OUT */
43};
44typedef struct vki_xen_hvm_track_dirty_vram vki_xen_hvm_track_dirty_vram_t;
45
bart65056672014-05-01 08:05:24 +000046#define VKI_XEN_HVMOP_set_mem_type 8
47struct vki_xen_hvm_set_mem_type {
48 vki_xen_domid_t domid;
49 vki_uint16_t hvmmem_type;
50 vki_uint32_t nr;
sewardj9e4ec3a2014-09-04 10:59:50 +000051 vki_uint64_t first_pfn;
bart65056672014-05-01 08:05:24 +000052};
53typedef struct vki_xen_hvm_set_mem_type vki_xen_hvm_set_mem_type_t;
54
sewardj9e4ec3a2014-09-04 10:59:50 +000055#define VKI_XEN_HVMOP_set_mem_access 12
56struct vki_xen_hvm_set_mem_access {
57 vki_xen_domid_t domid;
58 vki_uint16_t hvmmem_access;
59 vki_uint32_t nr;
60 vki_uint64_t first_pfn;
61};
62typedef struct vki_xen_hvm_set_mem_access vki_xen_hvm_set_mem_access_t;
63
64#define VKI_XEN_HVMOP_get_mem_access 13
65struct vki_xen_hvm_get_mem_access {
66 vki_xen_domid_t domid;
67 vki_uint16_t hvmmem_access; /* OUT */
68 vki_uint64_t pfn;
69};
70typedef struct vki_xen_hvm_get_mem_access vki_xen_hvm_get_mem_access_t;
71
72#define VKI_XEN_HVMOP_inject_trap 14
73struct vki_xen_hvm_inject_trap {
74 vki_xen_domid_t domid;
75 vki_uint32_t vcpuid;
76 vki_uint32_t vector;
77 vki_uint32_t type;
78 vki_uint32_t error_code;
79 vki_uint32_t insn_len;
80 vki_uint64_t cr2;
81};
82typedef struct vki_xen_hvm_inject_trap vki_xen_hvm_inject_trap_t;
83
bart51e61da2012-10-23 18:03:28 +000084#endif // __VKI_XEN_HVM_H
85
86/*--------------------------------------------------------------------*/
87/*--- end ---*/
88/*--------------------------------------------------------------------*/