ia64/xen-unstable

changeset 7139:d88e98fd4f7a

Fix compiler warnings when shadow debugging is enabled.

Fix two classes of warnings when debugging of shadow code is enabled:
- The type_info field in pfn_info is a long, so use a %lx format
specifier when printing it.
- Fix a warning about uninitialized use of eff_guest_pte.

Signed-off-by: Michael Vrable <mvrable@cs.ucsd.edu>
author kaf24@firebug.cl.cam.ac.uk
date Thu Sep 29 23:44:34 2005 +0100 (2005-09-29)
parents 7f732bba3ed4
children 61b3b357d827 b20219e27f92
files xen/arch/x86/shadow32.c
line diff
     1.1 --- a/xen/arch/x86/shadow32.c	Thu Sep 29 19:59:18 2005 +0100
     1.2 +++ b/xen/arch/x86/shadow32.c	Thu Sep 29 23:44:34 2005 +0100
     1.3 @@ -1836,7 +1836,7 @@ shadow_mark_mfn_out_of_sync(struct vcpu 
     1.4      }
     1.5  #endif
     1.6  
     1.7 -    FSH_LOG("%s(gpfn=%lx, mfn=%lx) c=%08x t=%08x", __func__,
     1.8 +    FSH_LOG("%s(gpfn=%lx, mfn=%lx) c=%08x t=%08lx", __func__,
     1.9              gpfn, mfn, page->count_info, page->u.inuse.type_info);
    1.10  
    1.11      // XXX this will require some more thought...  Cross-domain sharing and
    1.12 @@ -3017,7 +3017,7 @@ static int check_pte(
    1.13      l1_pgentry_t guest_pte = *p_guest_pte;
    1.14      l1_pgentry_t shadow_pte = *p_shadow_pte;
    1.15      l1_pgentry_t snapshot_pte = p_snapshot_pte ? *p_snapshot_pte : l1e_empty();
    1.16 -    l1_pgentry_t eff_guest_pte;
    1.17 +    l1_pgentry_t eff_guest_pte = l1e_empty();
    1.18      unsigned long mask, eff_guest_pfn, eff_guest_mfn, shadow_mfn;
    1.19      int errors = 0, guest_writable;
    1.20      int page_table_page;
    1.21 @@ -3074,7 +3074,7 @@ static int check_pte(
    1.22  
    1.23      if ( (l1e_get_flags(shadow_pte) & _PAGE_RW ) && !guest_writable )
    1.24      {
    1.25 -        printk("eff_guest_pfn=%lx eff_guest_mfn=%lx shadow_mfn=%lx t=0x%08x page_table_page=%d\n",
    1.26 +        printk("eff_guest_pfn=%lx eff_guest_mfn=%lx shadow_mfn=%lx t=%lx page_table_page=%d\n",
    1.27                 eff_guest_pfn, eff_guest_mfn, shadow_mfn,
    1.28                 frame_table[eff_guest_mfn].u.inuse.type_info,
    1.29                 page_table_page);
    1.30 @@ -3085,7 +3085,7 @@ static int check_pte(
    1.31           (l1e_get_flags(shadow_pte) & _PAGE_RW ) &&
    1.32           !(guest_writable && (l1e_get_flags(eff_guest_pte) & _PAGE_DIRTY)) )
    1.33      {
    1.34 -        printk("eff_guest_pfn=%lx eff_guest_mfn=%lx shadow_mfn=%lx t=0x%08x page_table_page=%d\n",
    1.35 +        printk("eff_guest_pfn=%lx eff_guest_mfn=%lx shadow_mfn=%lx t=%lx page_table_page=%d\n",
    1.36                 eff_guest_pfn, eff_guest_mfn, shadow_mfn,
    1.37                 frame_table[eff_guest_mfn].u.inuse.type_info,
    1.38                 page_table_page);