Compiling CURRENT with XEN config fails

Hi,

I just tried to compile CURRENT kernel with the XEN kernel config that
is shipped with it, but it fails with the following error:

cc -c -O -pipe  -std=c99 -g -Wall -Wredundant-decls -Wnested-externs -Wstrict-prototypes  -Wmissing-prototypes -Wpointer-arith -Winline -Wcast-qual  -Wundef -Wno-pointer-sign -fformat-extensions -nostdinc  -I.  -I/usr/src/sys -I/usr/src/sys/contrib/altq -D_KERNEL -DHAVE_KERNEL_OPTION_HEADERS -include opt_global.h -fno-common -finline-limit=8000 --param inline-unit-growth=100 --param large-function-growth=1000  -mno-align-long-strings -mpreferred-stack-boundary=2  -mno-mmx -mno-3dnow -mno-sse -mno-sse2 -mno-sse3 -ffreestanding -fstack-protector -Werror  /usr/src/sys/xen/evtchn/evtchn.c
/usr/src/sys/xen/evtchn/evtchn.c:516: error: conflicting types for 'bind_virq_to_irqhandler'
/usr/src/sys/xen/xen_intr.h:61: error: previous declaration of 'bind_virq_to_irqhandler' was here
/usr/src/sys/xen/evtchn/evtchn.c: In function 'bind_virq_to_irqhandler':
/usr/src/sys/xen/evtchn/evtchn.c:523: error: 'arg' undeclared (first use in this function)
/usr/src/sys/xen/evtchn/evtchn.c:523: error: (Each undeclared identifier is reported only once
/usr/src/sys/xen/evtchn/evtchn.c:523: error: for each function it appears in.)
*** Error code 1

Stop in /usr/obj/usr/src/sys/XEN.
*** Error code 1

Stop in /usr/src.
*** Error code 1

Stop in /usr/src.
template-8_CURRENT# svn info http://svn.freebsd.org/base/head /usr/src
Path: head
URL: http://svn.freebsd.org/base/head
Repository Root: http://svn.freebsd.org/base
Repository UUID: ccf9f872-aa2e-dd11-9fc8-001c23d0bc1f
Revision: 190466
Node Kind: directory
Last Changed Author: jamie
Last Changed Rev: 190466
Last Changed Date: 2009-03-27 14:13:59 +0100 (Fri, 27 Mar 2009)

Path: /usr/src
URL: http://svn.freebsd.org/base/head
Repository Root: http://svn.freebsd.org/base
Repository UUID: ccf9f872-aa2e-dd11-9fc8-001c23d0bc1f
Revision: 190464
Node Kind: directory
Schedule: normal
Last Changed Author: dds
Last Changed Rev: 190464
Last Changed Date: 2009-03-27 12:03:02 +0100 (Fri, 27 Mar 2009)



Anybody knows how to fix this??? ;-))

greetz
Olli