diff options
| author | Daniel De Graaf <dgdegra@tycho.nsa.gov> | 2012-01-28 13:48:34 +0000 |
|---|---|---|
| committer | Daniel De Graaf <dgdegra@tycho.nsa.gov> | 2012-01-28 13:48:34 +0000 |
| commit | 4c4b722d452e99db6c42f356b8dd8f91f6a854da (patch) | |
| tree | 4ed99ffbc10e836a259941df205d0284d01ce719 /xen/include/xen/event.h | |
| parent | 87521589aa6a677bad2b4a80b8fd3ad152c1c274 (diff) | |
| download | xen-4c4b722d452e99db6c42f356b8dd8f91f6a854da.tar.gz xen-4c4b722d452e99db6c42f356b8dd8f91f6a854da.tar.bz2 xen-4c4b722d452e99db6c42f356b8dd8f91f6a854da.zip | |
xen: change virq parameters from int to uint32_t
Signed-off-by: Daniel De Graaf <dgdegra@tycho.nsa.gov>
Committed-by: Keir Fraser <keir@xen.org>
Diffstat (limited to 'xen/include/xen/event.h')
| -rw-r--r-- | xen/include/xen/event.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/xen/include/xen/event.h b/xen/include/xen/event.h index 40b8a7a4c3..22fc6a3f3d 100644 --- a/xen/include/xen/event.h +++ b/xen/include/xen/event.h @@ -20,7 +20,7 @@ * @v: VCPU to which virtual IRQ should be sent * @virq: Virtual IRQ number (VIRQ_*) */ -void send_guest_vcpu_virq(struct vcpu *v, int virq); +void send_guest_vcpu_virq(struct vcpu *v, uint32_t virq); /* * send_global_virq: Notify the domain handling a global VIRQ. @@ -65,7 +65,7 @@ void free_xen_event_channel( struct vcpu *local_vcpu, int port); /* Query if event channel is in use by the guest */ -int guest_enabled_event(struct vcpu *v, int virq); +int guest_enabled_event(struct vcpu *v, uint32_t virq); /* Notify remote end of a Xen-attached event channel.*/ void notify_via_xen_event_channel(struct domain *ld, int lport); |