[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

>>> 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).


Xen-devel mailing list



Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.