../../i86xpv/os/evtchn.c:1222:37: error: cast between incompatible function types from 'int (*)(void *)' to 'uint_t (*)(char *, char *)' {aka 'unsigned int (*)(char *, char *)'} [-Werror=cast-function-type]
  (void) add_avintr(NULL, IPL_DEBUG, (avfunc)xen_debug_handler,
                                     ^

../../common/xen/io/xenbus_comms.c:248:31: error: cast between incompatible function types from 'uint_t (*)(void *)' {aka 'unsigned int (*)(void *)'} to 'uint_t (*)(char *, char *)' {aka 'unsigned int (*)(char *, char *)'} [-Werror=cast-function-type]
  rem_avintr(NULL, IPL_XENBUS, (avfunc)xenbus_intr, xenbus_irq);
                               ^
../../common/xen/io/xenbus_comms.c: In function 'xb_setup_intr':
../../common/xen/io/xenbus_comms.c:264:36: error: cast between incompatible function types from 'uint_t (*)(void *)' {aka 'unsigned int (*)(void *)'} to 'uint_t (*)(char *, char *)' {aka 'unsigned int (*)(char *, char *)'} [-Werror=cast-function-type]
  if (!add_avintr(NULL, IPL_XENBUS, (avfunc)xenbus_intr, "xenbus",
                                    ^
cc1: all warnings being treated as errors