diff options
author | bart <bart@a5019735-40e9-0310-863c-91ae7b9d1cf9> | 2015-06-28 16:41:06 +0000 |
---|---|---|
committer | bart <bart@a5019735-40e9-0310-863c-91ae7b9d1cf9> | 2015-06-28 16:41:06 +0000 |
commit | c1e82ce098321532ecd8d4b0d67df7310d71e9a2 (patch) | |
tree | e5a3ca7f964743b9bf070599bb79c89735cea257 /include | |
parent | ddbcb0b98231ae3bef4d375c1742c8e51c54fb92 (diff) | |
download | valgrind-c1e82ce098321532ecd8d4b0d67df7310d71e9a2.tar.gz |
xen: Handle XEN_DOMCTL_{test_assign,assign,deassign}_device
Signed-off-by: Ian Campbell <ian.campbell@citrix.com>
Cc: Andrew Cooper <andrew.cooper3@citrix.com
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@15373 a5019735-40e9-0310-863c-91ae7b9d1cf9
Diffstat (limited to 'include')
-rw-r--r-- | include/vki/vki-xen-domctl.h | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/include/vki/vki-xen-domctl.h b/include/vki/vki-xen-domctl.h index 6af60be56..6bb872ac8 100644 --- a/include/vki/vki-xen-domctl.h +++ b/include/vki/vki-xen-domctl.h @@ -386,6 +386,10 @@ struct vki_xen_domctl_address_size { vki_uint32_t size; }; +struct vki_xen_domctl_assign_device { + vki_uint32_t machine_sbdf; /* machine PCI ID of assigned device */ +}; + struct vki_xen_domctl_debug_op { vki_uint32_t op; /* IN */ vki_uint32_t vcpu; /* IN */ @@ -463,7 +467,7 @@ struct vki_xen_domctl { struct vki_xen_domctl_address_size address_size; //struct vki_xen_domctl_sendtrigger sendtrigger; //struct vki_xen_domctl_get_device_group get_device_group; - //struct vki_xen_domctl_assign_device assign_device; + struct vki_xen_domctl_assign_device assign_device; //struct vki_xen_domctl_bind_pt_irq bind_pt_irq; //struct vki_xen_domctl_memory_mapping memory_mapping; //struct vki_xen_domctl_ioport_mapping ioport_mapping; |