annotate debugtrace_printk() with a printf compiler __attribute__
authorAndrew Cooper <andrew.cooper3@citrix.com>
Mon, 28 Jul 2014 14:53:35 +0000 (16:53 +0200)
committerJan Beulich <jbeulich@suse.com>
Mon, 28 Jul 2014 14:53:35 +0000 (16:53 +0200)
commita1833bfb491b69f0373eb069a559aedb385c67ca
treee9d2d2b5b77a23ac4489b9d84df598f73dfdc0f1
parent54f28913a2b391f15b81e505ebc36c2b42359a6d
annotate debugtrace_printk() with a printf compiler __attribute__

And fix up the resulting compilation issue.

Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
xen/arch/x86/mm/p2m.c
xen/include/xen/lib.h