scheduler changes broke xen?

[Thor Lancelot Simon <tls%rek.tjls.com@localhost>]

I get this on an i386 'make release':

/src/sys/dev/pci/auvia.c
nbmake: don't know how to make machine/xen3-public/sched_ctl.h. Stop

nbmake: stopped in /usr/obj/i386/usr/src/sys/arch/i386/compile/XEN3_DOM0

*** Failed target:  kern-XEN3_DOM0
*** Failed command: cd /usr/obj/i386/usr/src/sys/arch/i386/compile/XEN3_DOM0
&&
/usr/local/tools.i386/bin/nbmake depend && /usr/local/tools.i386/bin/nbmake
*** Error code 2

Stop.
nbmake: stopped in /usr/src/etc


-- 
  Thor Lancelot Simon                                        
tls%rek.tjls.com@localhost

  "The inconsistency is startling, though admittedly, if consistency is to
   be abandoned or transcended, there is no problem."         - Noam Chomsky