On 01/03/2016 10:24, Andrew Jones wrote: >> > So either the lower part has explicitely be casted to (uint32_t), or >> > simply print the whole value only once with llx, without the colon >> > inbetween. > Uff, I guess I was in monkey mode at this point. I'll change it to the > last suggestion, no ':'. There are cases where the result is split in two 32-bit values (e.g. IA32_VMX_PROCBASED_CTLS) so the ":" is nice to have. Paolo -- To unsubscribe from this list: send the line "unsubscribe kvm" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html