Oh, completely forgot to say: the comment I was talking of shows up in ec2-next in arch/x86/include/mach-xen/asm/spinlock_types.h.
Oh, completely forgot to say: the comment I was talking of shows up in ec2-next in arch/x86/ include/ mach-xen/ asm/spinlock_ types.h.