diff options
| author | Jan Beulich <jbeulich@suse.com> | 2012-09-21 14:25:12 +0200 |
|---|---|---|
| committer | Jan Beulich <jbeulich@suse.com> | 2012-09-21 14:25:12 +0200 |
| commit | 8a858447e93a080c8f46dfd5224f6952122da05f (patch) | |
| tree | a9f63a18e565e4d784374274cdd7b0c80fbfbbdb /xen/arch/x86/time.c | |
| parent | 724b55f48a6c9fca00ddeeca5a130657680caf0b (diff) | |
| download | xen-8a858447e93a080c8f46dfd5224f6952122da05f.tar.gz xen-8a858447e93a080c8f46dfd5224f6952122da05f.tar.bz2 xen-8a858447e93a080c8f46dfd5224f6952122da05f.zip | |
printk: prefer %#x et at over 0x%x
Performance is not an issue with printk(), so let the function do
minimally more work and instead save a byte per affected format
specifier.
Signed-off-by: Jan Beulich <jbeulich@suse.com>
Acked-by: Keir Fraser <keir@xen.org>
Diffstat (limited to 'xen/arch/x86/time.c')
| -rw-r--r-- | xen/arch/x86/time.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/xen/arch/x86/time.c b/xen/arch/x86/time.c index 873a2f55ec..995e3bb9a9 100644 --- a/xen/arch/x86/time.c +++ b/xen/arch/x86/time.c @@ -1955,11 +1955,11 @@ static void dump_softtsc(unsigned char key) printk("dom%u%s: mode=%d",d->domain_id, is_hvm_domain(d) ? "(hvm)" : "", d->arch.tsc_mode); if ( d->arch.vtsc_offset ) - printk(",ofs=0x%"PRIx64"",d->arch.vtsc_offset); + printk(",ofs=%#"PRIx64, d->arch.vtsc_offset); if ( d->arch.tsc_khz ) - printk(",khz=%"PRIu32"",d->arch.tsc_khz); + printk(",khz=%"PRIu32, d->arch.tsc_khz); if ( d->arch.incarnation ) - printk(",inc=%"PRIu32"",d->arch.incarnation); + printk(",inc=%"PRIu32, d->arch.incarnation); if ( !(d->arch.vtsc_kerncount | d->arch.vtsc_usercount) ) { printk("\n"); |