| bart | 51e61da | 2012-10-23 18:03:28 +0000 | [diff] [blame] | 1 | #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 |
| 7 | struct 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 | |
| bart | a5f81a0 | 2014-05-01 08:04:42 +0000 | [diff] [blame^] | 13 | #define VKI_XEN_HVMOP_set_isa_irq_level 3 |
| 14 | struct vki_xen_hvm_set_isa_irq_level { |
| 15 | vki_xen_domid_t domid; |
| 16 | vki_uint8_t isa_irq; |
| 17 | vki_uint8_t level; |
| 18 | }; |
| 19 | typedef struct vki_xen_hvm_set_isa_irq_level vki_xen_hvm_set_isa_irq_level_t; |
| 20 | |
| bart | 51e61da | 2012-10-23 18:03:28 +0000 | [diff] [blame] | 21 | #endif // __VKI_XEN_HVM_H |
| 22 | |
| 23 | /*--------------------------------------------------------------------*/ |
| 24 | /*--- end ---*/ |
| 25 | /*--------------------------------------------------------------------*/ |