blob: a64d4f3475f73853bbbaee6900d8d37c90c0c904 [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
13#endif // __VKI_XEN_HVM_H
14
15/*--------------------------------------------------------------------*/
16/*--- end ---*/
17/*--------------------------------------------------------------------*/