set_32bit_tls() attempted to initialize a 2-bit field with a 5-bit number; a respective initialization in native code simply doesn''t exist (the field is expected to get zero-initialized). Jan _______________________________________________ Xen-devel mailing list Xen-devel@lists.xensource.com http://lists.xensource.com/xen-devel