tree 09d7a791b5f6bbf0dbbe974c7b87c0759ae536e9
parent 7dc65c02fe3fb8f3146ce0b9ff5fec5945329f0e
author Wei Liu <wei.liu2@citrix.com> 1381755233 +0100
committer Stefano Stabellini <stefano.stabellini@eu.citrix.com> 1385922348 +0000

xen: fix two errors when debug is enabled

This patch fixes:
1. build error in xen_pt.c when XEN_PT_LOGGING_ENABLED is defined
2. debug output format string error when DEBUG_XEN is defined

In the second case I also have the output info in consistent with the
output in mapping function - that is, print start_addr instead of
phys_offset.

Signed-off-by: Sander Eikelenboom <linux@eikelenboom.it>
Signed-off-by: Wei Liu <wei.liu2@citrix.com>
Signed-off-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com>