xen: Implement XEN_DOMCTL_set_max_evtchn

This is new in Xen 4.4.

From: Ian Campbell <ian.campbell@citrix.com>
Signed-off-by: Ian Campbell <ian.campbell@citrix.com>


git-svn-id: svn://svn.valgrind.org/valgrind/trunk@13738
This commit is contained in:
Bart Van Assche 2013-12-01 10:59:07 +00:00
parent 9b1fe961a5
commit b6afe8ce21
2 changed files with 11 additions and 0 deletions

View File

@ -759,6 +759,10 @@ PRE(domctl)
}
break;
case VKI_XEN_DOMCTL_set_max_evtchn:
PRE_XEN_DOMCTL_READ(set_max_evtchn, max_port);
break;
default:
bad_subop(tid, layout, arrghs, status, flags,
"__HYPERVISOR_domctl", domctl->cmd);
@ -1149,6 +1153,7 @@ POST(domctl){
case VKI_XEN_DOMCTL_set_cpuid:
case VKI_XEN_DOMCTL_unpausedomain:
case VKI_XEN_DOMCTL_sethvmcontext:
case VKI_XEN_DOMCTL_set_max_evtchn:
/* No output fields */
break;

View File

@ -84,6 +84,7 @@
#define VKI_XEN_DOMCTL_set_broken_page_p2m 67
#define VKI_XEN_DOMCTL_setnodeaffinity 68
#define VKI_XEN_DOMCTL_getnodeaffinity 69
#define VKI_XEN_DOMCTL_set_max_evtchn 70
#define VKI_XEN_DOMCTL_gdbsx_guestmemio 1000
#define VKI_XEN_DOMCTL_gdbsx_pausevcpu 1001
#define VKI_XEN_DOMCTL_gdbsx_unpausevcpu 1002
@ -304,6 +305,10 @@ struct vki_xen_domctl_address_size {
vki_uint32_t size;
};
struct vki_xen_domctl_set_max_evtchn {
vki_uint32_t max_port;
};
struct vki_xen_domctl {
vki_uint32_t cmd;
vki_uint32_t interface_version; /* XEN_DOMCTL_INTERFACE_VERSION */
@ -359,6 +364,7 @@ struct vki_xen_domctl {
//struct vki_xen_domctl_set_access_required access_required;
//struct vki_xen_domctl_audit_p2m audit_p2m;
//struct vki_xen_domctl_set_virq_handler set_virq_handler;
struct vki_xen_domctl_set_max_evtchn set_max_evtchn;
//struct vki_xen_domctl_gdbsx_memio gdbsx_guest_memio;
//struct vki_xen_domctl_set_broken_page_p2m set_broken_page_p2m;
//struct vki_xen_domctl_gdbsx_pauseunp_vcpu gdbsx_pauseunp_vcpu;