On Tue, Mar 01, 2016 at 11:52:04AM +0100, Paolo Bonzini wrote: > > > 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. OK, I'll keep the ':' Thanks, drew -- 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