Re: [Xen-devel] [PATCH] x86/tboot: Use an integer_param for "tboot="

["Jan Beulich" <JBeulich@xxxxxxxx>]

>>> On 13.03.14 at 17:35, Andrew Cooper <andrew.cooper3@xxxxxxxxxx> wrote:
> @@ -117,7 +115,7 @@ void __init tboot_probe(void)
>      }
>  
>      g_tboot_shared = tboot_shared;
> -    printk("TBOOT: found shared page at phys addr %lx:\n", p_tboot_shared);
> +    printk("TBOOT: found shared page at phys addr 0x%lx:\n", opt_tboot_pa);
>      printk("  version: %d\n", tboot_shared->version);
>      printk("  log_addr: %#x\n", tboot_shared->log_addr);
>      printk("  shutdown_entry: %#x\n", tboot_shared->shutdown_entry);

As can even be seen from the patch context, we standardized on
the shorter "%#lx" a while ago - I fixed this up before committing
(the change was sort of unrelated anyway).

Jan


_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxx
http://lists.xen.org/xen-devel