As far as i can tell, cpuid only ever uses the first 32 bits for result flags. In any case, x86_capability was defined as a long, but constant_test_bit() was typecasting to an int before doing an array dereference, so other then x86_capability[0] we were looking at the wrong bits. (noticed when NX was not being detected) sRp -- Scott Parish Signed-off-by: srparish@us.ibm.com _______________________________________________ Xen-devel mailing list Xen-devel@lists.xensource.com http://lists.xensource.com/xen-devel