ia64/xen-unstable

changeset 9454:38c170be0e63

Add format printf attribute to panic() prototype and fix the error
this catches.

Signed-off-by: Jimi Xenidis <jimix@watson.ibm.com>
Signed-off-by: Keir Fraser <keir@xensource.com>
author kaf24@firebug.cl.cam.ac.uk
date Sun Mar 26 11:35:11 2006 +0100 (2006-03-26)
parents 11fee62328cc
children c848b80c0b20
files xen/arch/x86/traps.c xen/include/xen/lib.h
line diff
     1.1 --- a/xen/arch/x86/traps.c	Fri Mar 24 17:48:03 2006 +0100
     1.2 +++ b/xen/arch/x86/traps.c	Sun Mar 26 11:35:11 2006 +0100
     1.3 @@ -705,7 +705,7 @@ asmlinkage int do_page_fault(struct cpu_
     1.4          panic("CPU%d FATAL PAGE FAULT\n"
     1.5                "[error_code=%04x]\n"
     1.6                "Faulting linear address: %p\n",
     1.7 -              smp_processor_id(), regs->error_code, addr);
     1.8 +              smp_processor_id(), regs->error_code, _p(addr));
     1.9      }
    1.10  
    1.11      propagate_page_fault(addr, regs->error_code);
     2.1 --- a/xen/include/xen/lib.h	Fri Mar 24 17:48:03 2006 +0100
     2.2 +++ b/xen/include/xen/lib.h	Sun Mar 26 11:35:11 2006 +0100
     2.3 @@ -47,7 +47,8 @@ extern void debugtrace_printk(const char
     2.4  #define printk(_f , _a...) printf( _f , ## _a )
     2.5  extern void printf(const char *format, ...)
     2.6      __attribute__ ((format (printf, 1, 2)));
     2.7 -extern void panic(const char *format, ...);
     2.8 +extern void panic(const char *format, ...)
     2.9 +    __attribute__ ((format (printf, 1, 2)));
    2.10  extern long vm_assist(struct domain *, unsigned int, unsigned int);
    2.11  
    2.12  /* vsprintf.c */