Index: kernel/arch/ia32xen/src/smp/apic.c
===================================================================
--- kernel/arch/ia32xen/src/smp/apic.c	(revision 4a8635b414c360bd57bb45bd9718cbff2211cad1)
+++ kernel/arch/ia32xen/src/smp/apic.c	(revision 566f5e5c2e933d72fd5d40b30c7da09eb035d5ea)
@@ -500,5 +500,5 @@
  * @param flags Flags.
  */
-void io_apic_change_ioredtbl(int pin, int dest, uint8_t v, int flags)
+void io_apic_change_ioredtbl(uint8_t pin, uint8_t dest, uint8_t v, int flags)
 {
 	io_redirection_reg_t reg;