that fixed the build but now we've got a boot crash with this config:
time.c: Detected 2010.304 MHz processor.
spurious 8259A interrupt: IRQ7.
BUG: unable to handle kernel NULL pointer dereference at 0000000000000000
IP: [<0000000000000000>]
PGD 0
Thread overran stack, or stack corrupted
Oops: 0010 [1] SMP
CPU 0
with:
http://redhat.com/~mingo/misc/config-Thu_Jun_26_12_46_46_CEST_2008.bad
i've pushed out the current tip/xen-64bit branch, so that you can see
how things look like at the moment, but i cannot put it into tip/master
yet.
Ingo
--