xen/domain: Use unsigned int instead of plain unsigned
authorMichal Orzel <michal.orzel@arm.com>
Tue, 28 Jun 2022 15:23:09 +0000 (17:23 +0200)
committerJan Beulich <jbeulich@suse.com>
Tue, 28 Jun 2022 15:23:09 +0000 (17:23 +0200)
This is just for the style and consistency reasons as the former is
being used more often than the latter.

Signed-off-by: Michal Orzel <michal.orzel@arm.com>
Acked-by: Jan Beulich <jbeulich@suse.com>
xen/common/domain.c
xen/include/xen/domain.h

index b9f80bd2bb3e0c66b459d03c061db274a89d56b7..3b1169d79b884aab1a31ffe0e6a27a27b34d061e 100644 (file)
@@ -1446,7 +1446,7 @@ int vcpu_reset(struct vcpu *v)
  * of memory, and it sets a pending event to make sure that a pending
  * event doesn't get missed.
  */
-int map_vcpu_info(struct vcpu *v, unsigned long gfn, unsigned offset)
+int map_vcpu_info(struct vcpu *v, unsigned long gfn, unsigned int offset)
 {
     struct domain *d = v->domain;
     void *mapping;
index 1c3c88a14d6f4439238e3e62a3e364f552a03ef0..628b14b08653515b710935e375745e6140ce88d3 100644 (file)
@@ -65,7 +65,7 @@ void cf_check free_pirq_struct(void *);
 int  arch_vcpu_create(struct vcpu *v);
 void arch_vcpu_destroy(struct vcpu *v);
 
-int map_vcpu_info(struct vcpu *v, unsigned long gfn, unsigned offset);
+int map_vcpu_info(struct vcpu *v, unsigned long gfn, unsigned int offset);
 void unmap_vcpu_info(struct vcpu *v);
 
 int arch_domain_create(struct domain *d,