Re: [Minios-devel] [PATCH v3 07/43] arm64: change physical_address_offset to paddr_t

[Huang Shijie <shijie.huang@xxxxxxx>]

On Wed, Apr 18, 2018 at 05:38:06PM +0100, Julien Grall wrote:
> >-void arch_init(void *dtb_pointer, uint32_t physical_offset)
> >+void arch_init(void *dtb_pointer, paddr_t physical_offset)
> >  {
> >      int r;
> >@@ -27,7 +27,7 @@ void arch_init(void *dtb_pointer, uint32_t physical_offset)
> >      physical_address_offset = physical_offset;
> >-    xprintk("Virtual -> physical offset = %x\n", physical_address_offset);
> >+    xprintk("Virtual -> physical offset = %"PRIpaddr" \n", 
> >physical_address_offset);
> 
> While you are here, can you please add '0x' in front of the number? So we
> know it is printed in hexa.
okay, no problem.

Thanks
Huang Shijie

_______________________________________________
Minios-devel mailing list
Minios-devel@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/mailman/listinfo/minios-devel