WARNING - OLD ARCHIVES

This is an archived copy of the Xen.org mailing list, which we have preserved to ensure that existing links to archives are not broken. The live archive, which contains the latest emails, can be found at http://lists.xen.org/
   
 
 
Xen 
 
Home Products Support Community News
 
   
 

xen-changelog

[Xen-changelog] [xen-unstable] [XEN] Remove definition of printf. All us

To: xen-changelog@xxxxxxxxxxxxxxxxxxx
Subject: [Xen-changelog] [xen-unstable] [XEN] Remove definition of printf. All users are switched to printk.
From: Xen patchbot-unstable <patchbot-unstable@xxxxxxxxxxxxxxxxxxx>
Date: Mon, 23 Oct 2006 15:40:14 +0000
Delivery-date: Mon, 23 Oct 2006 08:40:32 -0700
Envelope-to: www-data@xxxxxxxxxxxxxxxxxx
List-help: <mailto:xen-changelog-request@lists.xensource.com?subject=help>
List-id: BK change log <xen-changelog.lists.xensource.com>
List-post: <mailto:xen-changelog@lists.xensource.com>
List-subscribe: <http://lists.xensource.com/cgi-bin/mailman/listinfo/xen-changelog>, <mailto:xen-changelog-request@lists.xensource.com?subject=subscribe>
List-unsubscribe: <http://lists.xensource.com/cgi-bin/mailman/listinfo/xen-changelog>, <mailto:xen-changelog-request@lists.xensource.com?subject=unsubscribe>
Reply-to: xen-devel@xxxxxxxxxxxxxxxxxxx
Sender: xen-changelog-bounces@xxxxxxxxxxxxxxxxxxx
# HG changeset patch
# User kfraser@xxxxxxxxxxxxxxxxxxxxx
# Node ID 29b02d929b7e4df6016c16ebba71d6d73462882e
# Parent  f5d179bcad704351bb0c1d4f36c20146080c79cc
[XEN] Remove definition of printf. All users are switched to printk.
Signed-off-by: Keir Fraser <keir@xxxxxxxxxxxxx>
---
 xen/arch/ia64/linux-xen/setup.c              |    2 
 xen/arch/ia64/vmx/mm.c                       |    2 
 xen/arch/ia64/vmx/mmio.c                     |   14 +--
 xen/arch/ia64/vmx/vmx_phy_mode.c             |    8 +-
 xen/arch/ia64/vmx/vmx_vcpu.c                 |    2 
 xen/arch/ia64/vmx/vmx_virt.c                 |    6 -
 xen/arch/ia64/xen/dom0_ops.c                 |    6 -
 xen/arch/ia64/xen/dom_fw.c                   |   26 +++----
 xen/arch/ia64/xen/domain.c                   |   16 ++--
 xen/arch/ia64/xen/faults.c                   |   36 +++++-----
 xen/arch/ia64/xen/fw_emul.c                  |   54 +++++++--------
 xen/arch/ia64/xen/hypercall.c                |   12 +--
 xen/arch/ia64/xen/hyperprivop.S              |    2 
 xen/arch/ia64/xen/irq.c                      |    2 
 xen/arch/ia64/xen/mm.c                       |    8 +-
 xen/arch/ia64/xen/privop.c                   |   22 +++---
 xen/arch/ia64/xen/regionreg.c                |    8 +-
 xen/arch/ia64/xen/vcpu.c                     |   96 +++++++++++++--------------
 xen/arch/ia64/xen/vhpt.c                     |    6 -
 xen/arch/ia64/xen/xenmisc.c                  |    4 -
 xen/arch/ia64/xen/xensetup.c                 |    6 -
 xen/arch/ia64/xen/xentime.c                  |    2 
 xen/arch/powerpc/backtrace.c                 |   20 ++---
 xen/arch/powerpc/domain.c                    |    8 +-
 xen/arch/powerpc/of-devwalk.c                |   18 ++---
 xen/arch/powerpc/powerpc64/domain.c          |    6 -
 xen/arch/x86/boot/x86_32.S                   |    2 
 xen/arch/x86/boot/x86_64.S                   |    2 
 xen/arch/x86/hvm/hvm.c                       |    2 
 xen/arch/x86/hvm/io.c                        |    2 
 xen/arch/x86/hvm/platform.c                  |    6 +
 xen/arch/x86/hvm/svm/intr.c                  |    2 
 xen/arch/x86/hvm/svm/svm.c                   |   38 +++++-----
 xen/arch/x86/hvm/svm/vmcb.c                  |   36 +++++-----
 xen/arch/x86/hvm/vmx/vmx.c                   |    4 -
 xen/arch/x86/setup.c                         |    2 
 xen/arch/x86/x86_32/entry.S                  |    2 
 xen/arch/x86/x86_32/supervisor_mode_kernel.S |    2 
 xen/arch/x86/x86_64/entry.S                  |    2 
 xen/common/sched_sedf.c                      |    6 -
 xen/drivers/char/console.c                   |    2 
 xen/include/asm-ia64/config.h                |    2 
 xen/include/asm-ia64/vcpu.h                  |    2 
 xen/include/xen/lib.h                        |    3 
 44 files changed, 255 insertions(+), 254 deletions(-)

diff -r f5d179bcad70 -r 29b02d929b7e xen/arch/ia64/linux-xen/setup.c
--- a/xen/arch/ia64/linux-xen/setup.c   Mon Oct 23 14:19:14 2006 +0100
+++ b/xen/arch/ia64/linux-xen/setup.c   Mon Oct 23 14:42:52 2006 +0100
@@ -803,7 +803,7 @@ cpu_init (void)
        cpu_data = per_cpu_init();
 
 #ifdef XEN
-       printf ("cpu_init: current=%p\n", current);
+       printk("cpu_init: current=%p\n", current);
 #endif
 
        /*
diff -r f5d179bcad70 -r 29b02d929b7e xen/arch/ia64/vmx/mm.c
--- a/xen/arch/ia64/vmx/mm.c    Mon Oct 23 14:19:14 2006 +0100
+++ b/xen/arch/ia64/vmx/mm.c    Mon Oct 23 14:42:52 2006 +0100
@@ -144,7 +144,7 @@ int vmx_do_mmu_update(mmu_update_t *ureq
             gpfn = req.val;
             set_machinetophys(mfn,gpfn);
         }else{
-            printf("Unkown command of mmu_update:ptr: %lx,val: %lx 
\n",req.ptr,req.val);
+            printk("Unkown command of mmu_update:ptr: %lx,val: %lx 
\n",req.ptr,req.val);
             while(1);
         }
         ureqs ++;
diff -r f5d179bcad70 -r 29b02d929b7e xen/arch/ia64/vmx/mmio.c
--- a/xen/arch/ia64/vmx/mmio.c  Mon Oct 23 14:19:14 2006 +0100
+++ b/xen/arch/ia64/vmx/mmio.c  Mon Oct 23 14:42:52 2006 +0100
@@ -80,7 +80,7 @@ static void pib_write(VCPU *vcpu, void *
             }
         }
         else {      // upper half
-            printf("IPI-UHF write %lx\n",pib_off);
+            printk("IPI-UHF write %lx\n",pib_off);
             panic_domain(NULL,"Not support yet for SM-VP\n");
         }
         break;
@@ -114,7 +114,7 @@ static void pib_read(VCPU *vcpu, uint64_
             }
             else {
 #ifdef  IPI_DEBUG
-                printf("IPI-LHF read %lx\n",pib_off);
+                printk("IPI-LHF read %lx\n",pib_off);
 #endif
                 *(uint64_t *)dest = 0;  // TODO for SM-VP
             }
@@ -125,7 +125,7 @@ static void pib_read(VCPU *vcpu, uint64_
             }
             else {
 #ifdef  IPI_DEBUG
-                printf("IPI-UHF read %lx\n",pib_off);
+                printk("IPI-UHF read %lx\n",pib_off);
 #endif
                 *(uint8_t *)dest = 0;   // TODO for SM-VP
             }
@@ -321,7 +321,7 @@ static void deliver_ipi (VCPU *vcpu, uin
 static void deliver_ipi (VCPU *vcpu, uint64_t dm, uint64_t vector)
 {
 #ifdef  IPI_DEBUG
-  printf ("deliver_ipi %lx %lx\n",dm,vector);
+  printk ("deliver_ipi %lx %lx\n",dm,vector);
 #endif
     switch ( dm ) {
     case 0:     // INT
@@ -387,7 +387,7 @@ static void write_ipi (VCPU *vcpu, uint6
         memset (&c, 0, sizeof (c));
 
         if (arch_set_info_guest (targ, &c) != 0) {
-            printf ("arch_boot_vcpu: failure\n");
+            printk ("arch_boot_vcpu: failure\n");
             return;
         }
         /* First or next rendez-vous: set registers.  */
@@ -397,11 +397,11 @@ static void write_ipi (VCPU *vcpu, uint6
 
         if (test_and_clear_bit(_VCPUF_down,&targ->vcpu_flags)) {
             vcpu_wake(targ);
-            printf ("arch_boot_vcpu: vcpu %d awaken %016lx!\n",
+            printk ("arch_boot_vcpu: vcpu %d awaken %016lx!\n",
                     targ->vcpu_id, targ_regs->cr_iip);
         }
         else
-            printf ("arch_boot_vcpu: huu, already awaken!");
+            printk ("arch_boot_vcpu: huu, already awaken!");
     }
     else {
         int running = test_bit(_VCPUF_running,&targ->vcpu_flags);
diff -r f5d179bcad70 -r 29b02d929b7e xen/arch/ia64/vmx/vmx_phy_mode.c
--- a/xen/arch/ia64/vmx/vmx_phy_mode.c  Mon Oct 23 14:19:14 2006 +0100
+++ b/xen/arch/ia64/vmx/vmx_phy_mode.c  Mon Oct 23 14:42:52 2006 +0100
@@ -265,7 +265,7 @@ switch_mm_mode(VCPU *vcpu, IA64_PSR old_
     perfc_incra(vmx_switch_mm_mode, act);
     switch (act) {
     case SW_V2P:
-//        printf("V -> P mode transition: (0x%lx -> 0x%lx)\n",
+//        printk("V -> P mode transition: (0x%lx -> 0x%lx)\n",
 //               old_psr.val, new_psr.val);
         vcpu->arch.old_rsc = regs->ar_rsc;
         switch_to_physical_rid(vcpu);
@@ -277,7 +277,7 @@ switch_mm_mode(VCPU *vcpu, IA64_PSR old_
         vcpu->arch.mode_flags |= GUEST_IN_PHY;
         break;
     case SW_P2V:
-//        printf("P -> V mode transition: (0x%lx -> 0x%lx)\n",
+//        printk("P -> V mode transition: (0x%lx -> 0x%lx)\n",
 //               old_psr.val, new_psr.val);
         switch_to_virtual_rid(vcpu);
         /*
@@ -288,11 +288,11 @@ switch_mm_mode(VCPU *vcpu, IA64_PSR old_
         vcpu->arch.mode_flags &= ~GUEST_IN_PHY;
         break;
     case SW_SELF:
-        printf("Switch to self-0x%lx!!! MM mode doesn't change...\n",
+        printk("Switch to self-0x%lx!!! MM mode doesn't change...\n",
             old_psr.val);
         break;
     case SW_NOP:
-//        printf("No action required for mode transition: (0x%lx -> 0x%lx)\n",
+//        printk("No action required for mode transition: (0x%lx -> 0x%lx)\n",
 //               old_psr.val, new_psr.val);
         break;
     default:
diff -r f5d179bcad70 -r 29b02d929b7e xen/arch/ia64/vmx/vmx_vcpu.c
--- a/xen/arch/ia64/vmx/vmx_vcpu.c      Mon Oct 23 14:19:14 2006 +0100
+++ b/xen/arch/ia64/vmx/vmx_vcpu.c      Mon Oct 23 14:42:52 2006 +0100
@@ -246,7 +246,7 @@ check_entry(u64 va, u64 ps, char *str)
       va == 0x600000000000C000UL ) {
     stop();
      }
-     if (tlb_debug) printf("%s at %lx %lx\n", str, va, 1UL<<ps);
+     if (tlb_debug) printk("%s at %lx %lx\n", str, va, 1UL<<ps);
 }
 #endif
 
diff -r f5d179bcad70 -r 29b02d929b7e xen/arch/ia64/vmx/vmx_virt.c
--- a/xen/arch/ia64/vmx/vmx_virt.c      Mon Oct 23 14:19:14 2006 +0100
+++ b/xen/arch/ia64/vmx/vmx_virt.c      Mon Oct 23 14:42:52 2006 +0100
@@ -1364,7 +1364,7 @@ vmx_emulate(VCPU *vcpu, REGS *regs)
 #endif
 #if 0
 if ( (cause == 0xff && opcode == 0x1e000000000) || cause == 0 ) {
-               printf ("VMAL decode error: cause - %lx; op - %lx\n", 
+               printk ("VMAL decode error: cause - %lx; op - %lx\n", 
                        cause, opcode );
                return;
 }
@@ -1381,7 +1381,7 @@ if ( (cause == 0xff && opcode == 0x1e000
     else if (slot == 1)
         inst.inst = bundle.slot1a + (bundle.slot1b<<18);
     else if (slot == 2) inst.inst = bundle.slot2;
-    else printf("priv_handle_op: illegal slot: %d\n", slot);
+    else printk("priv_handle_op: illegal slot: %d\n", slot);
     slot_type = slot_types[bundle.template][slot];
     ia64_priv_decoder(slot_type, inst, &cause);
     if(cause==0){
@@ -1554,7 +1554,7 @@ if ( (cause == 0xff && opcode == 0x1e000
         status=vmx_emul_mov_from_cpuid(vcpu, inst);
         break;
     case EVENT_VMSW:
-        printf ("Unimplemented instruction %ld\n", cause);
+        printk ("Unimplemented instruction %ld\n", cause);
        status=IA64_FAULT;
         break;
     default:
diff -r f5d179bcad70 -r 29b02d929b7e xen/arch/ia64/xen/dom0_ops.c
--- a/xen/arch/ia64/xen/dom0_ops.c      Mon Oct 23 14:19:14 2006 +0100
+++ b/xen/arch/ia64/xen/dom0_ops.c      Mon Oct 23 14:42:52 2006 +0100
@@ -171,7 +171,7 @@ long arch_do_domctl(xen_domctl_t *op, XE
     }
     break;
     default:
-        printf("arch_do_domctl: unrecognized domctl: %d!!!\n",op->cmd);
+        printk("arch_do_domctl: unrecognized domctl: %d!!!\n",op->cmd);
         ret = -ENOSYS;
 
     }
@@ -211,7 +211,7 @@ long arch_do_sysctl(xen_sysctl_t *op, XE
     break;
 
     default:
-        printf("arch_do_sysctl: unrecognized sysctl: %d!!!\n",op->cmd);
+        printk("arch_do_sysctl: unrecognized sysctl: %d!!!\n",op->cmd);
         ret = -ENOSYS;
 
     }
@@ -273,7 +273,7 @@ do_dom0vp_op(unsigned long cmd,
         break;
     default:
         ret = -1;
-               printf("unknown dom0_vp_op 0x%lx\n", cmd);
+               printk("unknown dom0_vp_op 0x%lx\n", cmd);
         break;
     }
 
diff -r f5d179bcad70 -r 29b02d929b7e xen/arch/ia64/xen/dom_fw.c
--- a/xen/arch/ia64/xen/dom_fw.c        Mon Oct 23 14:19:14 2006 +0100
+++ b/xen/arch/ia64/xen/dom_fw.c        Mon Oct 23 14:42:52 2006 +0100
@@ -204,9 +204,9 @@ print_md(efi_memory_desc_t *md)
 
        size = md->num_pages << EFI_PAGE_SHIFT;
        if (size > ONE_MB)
-               printf ("(%luMB)\n", size >> 20);
+               printk ("(%luMB)\n", size >> 20);
        else
-               printf ("(%luKB)\n", size >> 10);
+               printk ("(%luKB)\n", size >> 10);
 }
 
 static u32 lsapic_nbr;
@@ -574,7 +574,7 @@ complete_dom0_memmap(struct domain *d,
 
                default:
                        /* Print a warning but continue.  */
-                       printf("complete_dom0_memmap: warning: "
+                       printk("complete_dom0_memmap: warning: "
                               "unhandled MDT entry type %u\n", md->type);
                }
        }
@@ -734,47 +734,47 @@ dom_fw_init(struct domain *d,
                /* Write messages to the console.  */
                touch_acpi_table();
 
-               printf("Domain0 EFI passthrough:");
+               printk("Domain0 EFI passthrough:");
                if (efi.mps) {
                        tables->efi_tables[i].guid = MPS_TABLE_GUID;
                        tables->efi_tables[i].table = __pa(efi.mps);
-                       printf(" MPS=0x%lx",tables->efi_tables[i].table);
+                       printk(" MPS=0x%lx",tables->efi_tables[i].table);
                        i++;
                }
 
                if (efi.acpi20) {
                        tables->efi_tables[i].guid = ACPI_20_TABLE_GUID;
                        tables->efi_tables[i].table = __pa(efi.acpi20);
-                       printf(" ACPI 2.0=0x%lx",tables->efi_tables[i].table);
+                       printk(" ACPI 2.0=0x%lx",tables->efi_tables[i].table);
                        i++;
                }
                if (efi.acpi) {
                        tables->efi_tables[i].guid = ACPI_TABLE_GUID;
                        tables->efi_tables[i].table = __pa(efi.acpi);
-                       printf(" ACPI=0x%lx",tables->efi_tables[i].table);
+                       printk(" ACPI=0x%lx",tables->efi_tables[i].table);
                        i++;
                }
                if (efi.smbios) {
                        tables->efi_tables[i].guid = SMBIOS_TABLE_GUID;
                        tables->efi_tables[i].table = __pa(efi.smbios);
-                       printf(" SMBIOS=0x%lx",tables->efi_tables[i].table);
+                       printk(" SMBIOS=0x%lx",tables->efi_tables[i].table);
                        i++;
                }
                if (efi.hcdp) {
                        tables->efi_tables[i].guid = HCDP_TABLE_GUID;
                        tables->efi_tables[i].table = __pa(efi.hcdp);
-                       printf(" HCDP=0x%lx",tables->efi_tables[i].table);
+                       printk(" HCDP=0x%lx",tables->efi_tables[i].table);
                        i++;
                }
-               printf("\n");
+               printk("\n");
        } else {
-               printf("DomainU EFI build up:");
+               printk("DomainU EFI build up:");
 
                tables->efi_tables[i].guid = ACPI_20_TABLE_GUID;
                tables->efi_tables[i].table = FW_ACPI_BASE_PADDR;
-               printf(" ACPI 2.0=0x%lx",tables->efi_tables[i].table);
+               printk(" ACPI 2.0=0x%lx",tables->efi_tables[i].table);
                i++;
-               printf("\n");
+               printk("\n");
        }
 
        /* fill in the SAL system table: */
diff -r f5d179bcad70 -r 29b02d929b7e xen/arch/ia64/xen/domain.c
--- a/xen/arch/ia64/xen/domain.c        Mon Oct 23 14:19:14 2006 +0100
+++ b/xen/arch/ia64/xen/domain.c        Mon Oct 23 14:42:52 2006 +0100
@@ -388,7 +388,7 @@ int arch_domain_create(struct domain *d)
        d->arch.ioport_caps = rangeset_new(d, "I/O Ports",
                                           RANGESETF_prettyprint_hex);
 
-       printf ("arch_domain_create: domain=%p\n", d);
+       printk ("arch_domain_create: domain=%p\n", d);
        return 0;
 
 fail_nomem:
@@ -598,7 +598,7 @@ domain_set_shared_info_va (unsigned long
 
        /* Note: this doesn't work well if other cpus are already running.
           However this is part of the spec :-)  */
-       printf ("Domain set shared_info_va to 0x%016lx\n", va);
+       printk ("Domain set shared_info_va to 0x%016lx\n", va);
        d->arch.shared_info_va = va;
 
        for_each_vcpu (d, v1) {
@@ -857,7 +857,7 @@ void alloc_dom0(void)
        }
        if (dom0_size % dom0_align) {
                dom0_size = (dom0_size / dom0_align + 1) * dom0_align;
-               printf("dom0_size rounded up to %ld, due to dom0_align=%lx\n",
+               printk("dom0_size rounded up to %ld, due to dom0_align=%lx\n",
                     dom0_size,dom0_align);
        }
 
@@ -915,7 +915,7 @@ int construct_dom0(struct domain *d,
        struct page_info *page = NULL;
 #endif
 
-//printf("construct_dom0: starting\n");
+//printk("construct_dom0: starting\n");
 
        /* Sanity! */
        BUG_ON(d != dom0);
@@ -1019,10 +1019,10 @@ int construct_dom0(struct domain *d,
        if (dom0_max_vcpus > MAX_VIRT_CPUS)
            dom0_max_vcpus = MAX_VIRT_CPUS;
        
-       printf ("Dom0 max_vcpus=%d\n", dom0_max_vcpus);
+       printk ("Dom0 max_vcpus=%d\n", dom0_max_vcpus);
        for ( i = 1; i < dom0_max_vcpus; i++ )
            if (alloc_vcpu(d, i, i) == NULL)
-               printf ("Cannot allocate dom0 vcpu %d\n", i);
+               printk ("Cannot allocate dom0 vcpu %d\n", i);
 
        /* Copy the OS image. */
        loaddomainelfimage(d,image_start);
@@ -1111,7 +1111,7 @@ void machine_restart(char * __unused)
 {
        console_start_sync();
        if (running_on_sim)
-               printf ("machine_restart called.  spinning...\n");
+               printk ("machine_restart called.  spinning...\n");
        else
                (*efi.reset_system)(EFI_RESET_WARM,0,0,NULL);
        while(1);
@@ -1123,7 +1123,7 @@ void machine_halt(void)
 {
        console_start_sync();
        if (running_on_sim)
-               printf ("machine_halt called.  spinning...\n");
+               printk ("machine_halt called.  spinning...\n");
        else
                cpu_halt();
        while(1);
diff -r f5d179bcad70 -r 29b02d929b7e xen/arch/ia64/xen/faults.c
--- a/xen/arch/ia64/xen/faults.c        Mon Oct 23 14:19:14 2006 +0100
+++ b/xen/arch/ia64/xen/faults.c        Mon Oct 23 14:42:52 2006 +0100
@@ -104,11 +104,11 @@ void reflect_extint(struct pt_regs *regs
        static int first_extint = 1;
 
        if (first_extint) {
-               printf("Delivering first extint to domain: isr=0x%lx, 
iip=0x%lx\n", isr, regs->cr_iip);
+               printk("Delivering first extint to domain: isr=0x%lx, 
iip=0x%lx\n", isr, regs->cr_iip);
                first_extint = 0;
        }
        if (vcpu_timer_pending_early(v))
-printf("*#*#*#* about to deliver early timer to domain 
%d!!!\n",v->domain->domain_id);
+printk("*#*#*#* about to deliver early timer to domain 
%d!!!\n",v->domain->domain_id);
        PSCB(current,itir) = 0;
        reflect_interruption(isr,regs,IA64_EXTINT_VECTOR);
 }
@@ -128,7 +128,7 @@ void reflect_event(struct pt_regs *regs)
                return;
 
        if (!PSCB(v,interrupt_collection_enabled))
-               printf("psr.ic off, delivering event, 
ipsr=%lx,iip=%lx,isr=%lx,viip=0x%lx\n",
+               printk("psr.ic off, delivering event, 
ipsr=%lx,iip=%lx,isr=%lx,viip=0x%lx\n",
                       regs->cr_ipsr, regs->cr_iip, isr, PSCB(v, iip));
        PSCB(v,unat) = regs->ar_unat;  // not sure if this is really needed?
        PSCB(v,precover_ifs) = regs->cr_ifs;
@@ -241,7 +241,7 @@ void ia64_do_page_fault (unsigned long a
 
        if (!PSCB(current,interrupt_collection_enabled)) {
                check_bad_nested_interruption(isr,regs,fault);
-               //printf("Delivering NESTED DATA TLB fault\n");
+               //printk("Delivering NESTED DATA TLB fault\n");
                fault = IA64_DATA_NESTED_TLB_VECTOR;
                regs->cr_iip = ((unsigned long) PSCBX(current,iva) + fault) & 
~0xffUL;
                regs->cr_ipsr = (regs->cr_ipsr & ~DELIVER_PSR_CLR) | 
DELIVER_PSR_SET;
@@ -370,7 +370,7 @@ ia64_fault (unsigned long vector, unsign
                "Unknown fault 13", "Unknown fault 14", "Unknown fault 15"
        };
 
-       printf("ia64_fault, vector=0x%lx, ifa=0x%016lx, iip=0x%016lx, 
ipsr=0x%016lx, isr=0x%016lx\n",
+       printk("ia64_fault, vector=0x%lx, ifa=0x%016lx, iip=0x%016lx, 
ipsr=0x%016lx, isr=0x%016lx\n",
               vector, ifa, regs->cr_iip, regs->cr_ipsr, isr);
 
 
@@ -380,7 +380,7 @@ ia64_fault (unsigned long vector, unsign
                 * the lfetch.
                 */
                ia64_psr(regs)->ed = 1;
-               printf("ia64_fault: handled lfetch.fault\n");
+               printk("ia64_fault: handled lfetch.fault\n");
                return;
        }
 
@@ -429,7 +429,7 @@ ia64_fault (unsigned long vector, unsign
                               regs->cr_iip + ia64_psr(regs)->ri,
                               regs->pr);
 # endif
-                       printf("ia64_fault: returning on hazard\n");
+                       printk("ia64_fault: returning on hazard\n");
                        return;
                }
                break;
@@ -588,7 +588,7 @@ ia64_handle_reflection (unsigned long if
                if (((isr >> 4L) & 0xfL) == 1) {
                        /* Fault is due to a register NaT consumption fault. */
                        //regs->eml_unat = 0;  FIXME: DO WE NEED THIS??
-                       printf("ia64_handle_reflection: handling regNaT 
fault\n");
+                       printk("ia64_handle_reflection: handling regNaT 
fault\n");
                        vector = IA64_NAT_CONSUMPTION_VECTOR; break;
                }
 #if 1
@@ -601,20 +601,20 @@ ia64_handle_reflection (unsigned long if
 #ifdef CONFIG_PRIVIFY
                /* Some privified operations are coded using reg+64 instead
                   of reg.  */
-               printf("*** NaT fault... attempting to handle as privop\n");
-               printf("isr=%016lx, ifa=%016lx, iip=%016lx, ipsr=%016lx\n",
+               printk("*** NaT fault... attempting to handle as privop\n");
+               printk("isr=%016lx, ifa=%016lx, iip=%016lx, ipsr=%016lx\n",
                       isr, ifa, regs->cr_iip, psr);
                //regs->eml_unat = 0;  FIXME: DO WE NEED THIS???
                // certain NaT faults are higher priority than privop faults
                vector = priv_emulate(v,regs,isr);
                if (vector == IA64_NO_FAULT) {
-                       printf("*** Handled privop masquerading as NaT 
fault\n");
+                       printk("*** Handled privop masquerading as NaT 
fault\n");
                        return;
                }
 #endif
                vector = IA64_NAT_CONSUMPTION_VECTOR; break;
            case 27:
-               //printf("*** Handled speculation vector, 
itc=%lx!\n",ia64_get_itc());
+               //printk("*** Handled speculation vector, 
itc=%lx!\n",ia64_get_itc());
                PSCB(current,iim) = iim;
                vector = IA64_SPECULATION_VECTOR; break;
            case 30:
@@ -629,7 +629,7 @@ ia64_handle_reflection (unsigned long if
                // fetch code fail
                if (IA64_RETRY == status)
                        return;
-               printf("ia64_handle_reflection: handling FP fault\n");
+               printk("ia64_handle_reflection: handling FP fault\n");
                vector = IA64_FP_FAULT_VECTOR; break;
            case 33:
                status = handle_fpu_swa(0, regs, isr);
@@ -638,20 +638,20 @@ ia64_handle_reflection (unsigned long if
                // fetch code fail
                if (IA64_RETRY == status)
                        return;
-               printf("ia64_handle_reflection: handling FP trap\n");
+               printk("ia64_handle_reflection: handling FP trap\n");
                vector = IA64_FP_TRAP_VECTOR; break;
            case 34:
-               printf("ia64_handle_reflection: handling lowerpriv trap\n");
+               printk("ia64_handle_reflection: handling lowerpriv trap\n");
                vector = IA64_LOWERPRIV_TRANSFER_TRAP_VECTOR; break;
            case 35:
-               printf("ia64_handle_reflection: handling taken branch trap\n");
+               printk("ia64_handle_reflection: handling taken branch trap\n");
                vector = IA64_TAKEN_BRANCH_TRAP_VECTOR; break;
            case 36:
-               printf("ia64_handle_reflection: handling single step trap\n");
+               printk("ia64_handle_reflection: handling single step trap\n");
                vector = IA64_SINGLE_STEP_TRAP_VECTOR; break;
 
            default:
-               printf("ia64_handle_reflection: unhandled 
vector=0x%lx\n",vector);
+               printk("ia64_handle_reflection: unhandled 
vector=0x%lx\n",vector);
                while(vector);
                return;
        }
diff -r f5d179bcad70 -r 29b02d929b7e xen/arch/ia64/xen/fw_emul.c
--- a/xen/arch/ia64/xen/fw_emul.c       Mon Oct 23 14:19:14 2006 +0100
+++ b/xen/arch/ia64/xen/fw_emul.c       Mon Oct 23 14:42:52 2006 +0100
@@ -73,20 +73,20 @@ sal_emulator (long index, unsigned long 
                        r9 = value;
                }
                else
-                    printf("NON-PRIV DOMAIN CALLED SAL_PCI_CONFIG_READ\n");
+                    printk("NON-PRIV DOMAIN CALLED SAL_PCI_CONFIG_READ\n");
                break;
            case SAL_PCI_CONFIG_WRITE:
                if (current->domain == dom0) {
                        if (((in1 & ~0xffffffffUL) && (in4 == 0)) ||
                            (in4 > 1) ||
                            (in2 > 8) || (in2 & (in2-1)))
-                               printf("*** 
SAL_PCI_CONF_WRITE?!?(adr=0x%lx,typ=0x%lx,sz=0x%lx,val=0x%lx)\n",
+                               printk("*** 
SAL_PCI_CONF_WRITE?!?(adr=0x%lx,typ=0x%lx,sz=0x%lx,val=0x%lx)\n",
                                        in1,in4,in2,in3);
                        // note that args are in a different order!!
                        status = ia64_sal_pci_config_write(in1,in4,in2,in3);
                }
                else
-                    printf("NON-PRIV DOMAIN CALLED SAL_PCI_CONFIG_WRITE\n");
+                    printk("NON-PRIV DOMAIN CALLED SAL_PCI_CONFIG_WRITE\n");
                break;
            case SAL_SET_VECTORS:
                if (in1 == SAL_VECTOR_OS_BOOT_RENDEZ) {
@@ -102,7 +102,7 @@ sal_emulator (long index, unsigned long 
                        }
                }
                else
-                       printf("*** CALLED SAL_SET_VECTORS %lu.  IGNORED...\n",
+                       printk("*** CALLED SAL_SET_VECTORS %lu.  IGNORED...\n",
                               in1);
                break;
            case SAL_GET_STATE_INFO:
@@ -119,10 +119,10 @@ sal_emulator (long index, unsigned long 
                /* Noop.  */
                break;
            case SAL_MC_RENDEZ:
-               printf("*** CALLED SAL_MC_RENDEZ.  IGNORED...\n");
+               printk("*** CALLED SAL_MC_RENDEZ.  IGNORED...\n");
                break;
            case SAL_MC_SET_PARAMS:
-               printf("*** CALLED SAL_MC_SET_PARAMS.  IGNORED...\n");
+               printk("*** CALLED SAL_MC_SET_PARAMS.  IGNORED...\n");
                break;
            case SAL_CACHE_FLUSH:
                if (1) {
@@ -139,13 +139,13 @@ sal_emulator (long index, unsigned long 
                }
                break;
            case SAL_CACHE_INIT:
-               printf("*** CALLED SAL_CACHE_INIT.  IGNORED...\n");
+               printk("*** CALLED SAL_CACHE_INIT.  IGNORED...\n");
                break;
            case SAL_UPDATE_PAL:
-               printf("*** CALLED SAL_UPDATE_PAL.  IGNORED...\n");
+               printk("*** CALLED SAL_UPDATE_PAL.  IGNORED...\n");
                break;
            default:
-               printf("*** CALLED SAL_ WITH UNKNOWN INDEX.  IGNORED...\n");
+               printk("*** CALLED SAL_ WITH UNKNOWN INDEX.  IGNORED...\n");
                status = -1;
                break;
        }
@@ -344,7 +344,7 @@ xen_pal_emulator(unsigned long index, u6
                break;
            case PAL_HALT:
                    if (current->domain == dom0) {
-                           printf ("Domain0 halts the machine\n");
+                           printk ("Domain0 halts the machine\n");
                            console_start_sync();
                            (*efi.reset_system)(EFI_RESET_SHUTDOWN,0,0,NULL);
                    }
@@ -400,7 +400,7 @@ efi_emulate_get_time(
        struct page_info *tc_page = NULL;
        efi_status_t status = 0;
 
-       //printf("efi_get_time(%016lx,%016lx) called\n", tv_addr, tc_addr);
+       //printk("efi_get_time(%016lx,%016lx) called\n", tv_addr, tc_addr);
        tv = efi_translate_domain_addr(tv_addr, fault, &tv_page);
        if (*fault != IA64_NO_FAULT)
                goto errout;
@@ -410,9 +410,9 @@ efi_emulate_get_time(
                        goto errout;
        }
 
-       //printf("efi_get_time(%016lx,%016lx) translated to xen virtual 
address\n", tv, tc);
+       //printk("efi_get_time(%016lx,%016lx) translated to xen virtual 
address\n", tv, tc);
        status = (*efi.get_time)((efi_time_t *) tv, (efi_time_cap_t *) tc);
-       //printf("efi_get_time returns %lx\n", status);
+       //printk("efi_get_time returns %lx\n", status);
 
 errout:
        if (tc_page != NULL)
@@ -666,14 +666,14 @@ efi_emulate_set_virtual_address_map(
        fpswa_interface_t *fpswa_inf = d->arch.fpswa_inf;
 
        if (descriptor_version != EFI_MEMDESC_VERSION) {
-               printf ("efi_emulate_set_virtual_address_map: memory "
+               printk ("efi_emulate_set_virtual_address_map: memory "
                        "descriptor version unmatched (%d vs %d)\n",
                        (int)descriptor_version, EFI_MEMDESC_VERSION);
                return EFI_INVALID_PARAMETER;
        }
 
        if (descriptor_size != sizeof(efi_memory_desc_t)) {
-               printf ("efi_emulate_set_virtual_address_map: memory descriptor 
size unmatched\n");
+               printk ("efi_emulate_set_virtual_address_map: memory descriptor 
size unmatched\n");
                return EFI_INVALID_PARAMETER;
        }
 
@@ -686,7 +686,7 @@ efi_emulate_set_virtual_address_map(
 
        for (p = efi_map_start; p < efi_map_end; p += efi_desc_size) {
                if (copy_from_user(&entry, p, sizeof(efi_memory_desc_t))) {
-                       printf ("efi_emulate_set_virtual_address_map: 
copy_from_user() fault. addr=0x%p\n", p);
+                       printk ("efi_emulate_set_virtual_address_map: 
copy_from_user() fault. addr=0x%p\n", p);
                        return EFI_UNSUPPORTED;
                }
 
@@ -814,7 +814,7 @@ efi_emulator (struct pt_regs *regs, IA64
                status = EFI_UNSUPPORTED;
                break;
            default:
-               printf("unknown ia64 fw hypercall %lx\n", regs->r2);
+               printk("unknown ia64 fw hypercall %lx\n", regs->r2);
                status = EFI_UNSUPPORTED;
        }
 
@@ -835,7 +835,7 @@ do_ssc(unsigned long ssc, struct pt_regs
            case SSC_PUTCHAR:
                buf[0] = arg0;
                buf[1] = '\0';
-               printf(buf);
+               printk(buf);
                break;
            case SSC_GETCHAR:
                retval = ia64_ssc(0,0,0,0,ssc);
@@ -848,7 +848,7 @@ do_ssc(unsigned long ssc, struct pt_regs
 /**/                   stat = (struct ssc_disk_stat *)__va(arg0);
 ///**/                 if (stat->fd == last_fd) stat->count = last_count;
 /**/                   stat->count = last_count;
-//if (last_count >= PAGE_SIZE) printf("ssc_wait: 
stat->fd=%d,last_fd=%d,last_count=%d\n",stat->fd,last_fd,last_count);
+//if (last_count >= PAGE_SIZE) printk("ssc_wait: 
stat->fd=%d,last_fd=%d,last_count=%d\n",stat->fd,last_fd,last_count);
 ///**/                 retval = ia64_ssc(arg0,0,0,0,ssc);
 /**/                   retval = 0;
                }
@@ -857,7 +857,7 @@ do_ssc(unsigned long ssc, struct pt_regs
                break;
            case SSC_OPEN:
                arg1 = vcpu_get_gr(current,33); // access rights
-if (!running_on_sim) { printf("SSC_OPEN, not implemented on hardware.  
(ignoring...)\n"); arg0 = 0; }
+if (!running_on_sim) { printk("SSC_OPEN, not implemented on hardware.  
(ignoring...)\n"); arg0 = 0; }
                if (arg0) {     // metaphysical address
                        arg0 = translate_domain_mpaddr(arg0, NULL);
                        retval = ia64_ssc(arg0,arg1,0,0,ssc);
@@ -867,7 +867,7 @@ if (!running_on_sim) { printf("SSC_OPEN,
                break;
            case SSC_WRITE:
            case SSC_READ:
-//if (ssc == SSC_WRITE) printf("DOING AN SSC_WRITE\n");
+//if (ssc == SSC_WRITE) printk("DOING AN SSC_WRITE\n");
                arg1 = vcpu_get_gr(current,33);
                arg2 = vcpu_get_gr(current,34);
                arg3 = vcpu_get_gr(current,35);
@@ -883,7 +883,7 @@ if (!running_on_sim) { printf("SSC_OPEN,
 /**/                   last_fd = arg1;
 /**/                   last_count = len;
                        mpaddr = req->addr;
-//if (last_count >= PAGE_SIZE) printf("do_ssc: read fd=%d, addr=%p, len=%lx 
",last_fd,mpaddr,len);
+//if (last_count >= PAGE_SIZE) printk("do_ssc: read fd=%d, addr=%p, len=%lx 
",last_fd,mpaddr,len);
                        retval = 0;
                        if ((mpaddr & PAGE_MASK) != ((mpaddr+len-1) & 
PAGE_MASK)) {
                                // do partial page first
@@ -894,7 +894,7 @@ if (!running_on_sim) { printf("SSC_OPEN,
                                arg3 += req->len; // file offset
 /**/                           last_stat.fd = last_fd;
 /**/                           
(void)ia64_ssc(__pa(&last_stat),0,0,0,SSC_WAIT_COMPLETION);
-//if (last_count >= PAGE_SIZE) printf("ssc(%p,%lx)[part]=%x 
",req->addr,req->len,retval);
+//if (last_count >= PAGE_SIZE) printk("ssc(%p,%lx)[part]=%x 
",req->addr,req->len,retval);
                        }
                        if (retval >= 0) while (len > 0) {
                                req->addr = translate_domain_mpaddr(mpaddr, 
NULL);
@@ -905,27 +905,27 @@ if (!running_on_sim) { printf("SSC_OPEN,
 // TEMP REMOVED AGAIN                          arg3 += req->len; // file offset
 /**/                           last_stat.fd = last_fd;
 /**/                           
(void)ia64_ssc(__pa(&last_stat),0,0,0,SSC_WAIT_COMPLETION);
-//if (last_count >= PAGE_SIZE) printf("ssc(%p,%lx)=%x 
",req->addr,req->len,retval);
+//if (last_count >= PAGE_SIZE) printk("ssc(%p,%lx)=%x 
",req->addr,req->len,retval);
                        }
                        // set it back to the original value
                        req->len = last_count;
                }
                else retval = -1L;
                vcpu_set_gr(current,8,retval,0);
-//if (last_count >= PAGE_SIZE) printf("retval=%x\n",retval);
+//if (last_count >= PAGE_SIZE) printk("retval=%x\n",retval);
                break;
            case SSC_CONNECT_INTERRUPT:
                arg1 = vcpu_get_gr(current,33);
                arg2 = vcpu_get_gr(current,34);
                arg3 = vcpu_get_gr(current,35);
-               if (!running_on_sim) { printf("SSC_CONNECT_INTERRUPT, not 
implemented on hardware.  (ignoring...)\n"); break; }
+               if (!running_on_sim) { printk("SSC_CONNECT_INTERRUPT, not 
implemented on hardware.  (ignoring...)\n"); break; }
                (void)ia64_ssc(arg0,arg1,arg2,arg3,ssc);
                break;
            case SSC_NETDEV_PROBE:
                vcpu_set_gr(current,8,-1L,0);
                break;
            default:
-               printf("ia64_handle_break: bad ssc code %lx, iip=0x%lx, 
b0=0x%lx... spinning\n",
+               printk("ia64_handle_break: bad ssc code %lx, iip=0x%lx, 
b0=0x%lx... spinning\n",
                        ssc, regs->cr_iip, regs->b0);
                while(1);
                break;
diff -r f5d179bcad70 -r 29b02d929b7e xen/arch/ia64/xen/hypercall.c
--- a/xen/arch/ia64/xen/hypercall.c     Mon Oct 23 14:19:14 2006 +0100
+++ b/xen/arch/ia64/xen/hypercall.c     Mon Oct 23 14:42:52 2006 +0100
@@ -163,7 +163,7 @@ fw_hypercall_ipi (struct pt_regs *regs)
                        memset (&c, 0, sizeof (c));
 
                        if (arch_set_info_guest (targ, &c) != 0) {
-                               printf ("arch_boot_vcpu: failure\n");
+                               printk ("arch_boot_vcpu: failure\n");
                                return;
                        }
                }
@@ -177,11 +177,11 @@ fw_hypercall_ipi (struct pt_regs *regs)
                if (test_and_clear_bit(_VCPUF_down,
                                       &targ->vcpu_flags)) {
                        vcpu_wake(targ);
-                       printf ("arch_boot_vcpu: vcpu %d awaken\n",
+                       printk ("arch_boot_vcpu: vcpu %d awaken\n",
                                targ->vcpu_id);
                }
                else
-                       printf ("arch_boot_vcpu: huu, already awaken!\n");
+                       printk ("arch_boot_vcpu: huu, already awaken!\n");
        }
        else {
                int running = test_bit(_VCPUF_running,
@@ -214,7 +214,7 @@ fw_hypercall (struct pt_regs *regs)
        perfc_incra(fw_hypercall, index >> 8);
        switch (index) {
            case FW_HYPERCALL_PAL_CALL:
-               //printf("*** PAL hypercall: index=%d\n",regs->r28);
+               //printk("*** PAL hypercall: index=%d\n",regs->r28);
                //FIXME: This should call a C routine
 #if 0
                // This is very conservative, but avoids a possible
@@ -229,7 +229,7 @@ fw_hypercall (struct pt_regs *regs)
                                event_pending(v)) {
                                perfc_incrc(idle_when_pending);
                                vcpu_pend_unspecified_interrupt(v);
-//printf("idle w/int#%d pending!\n",pi);
+//printk("idle w/int#%d pending!\n",pi);
 //this shouldn't happen, but it apparently does quite a bit!  so don't
 //allow it to happen... i.e. if a domain has an interrupt pending and
 //it tries to halt itself because it thinks it is idle, just return here
@@ -295,7 +295,7 @@ fw_hypercall (struct pt_regs *regs)
                regs->r11 = fpswa_ret.err2;
                break;
            default:
-               printf("unknown ia64 fw hypercall %lx\n", regs->r2);
+               printk("unknown ia64 fw hypercall %lx\n", regs->r2);
                regs->r8 = do_ni_hypercall();
        }
        return IA64_NO_FAULT;
diff -r f5d179bcad70 -r 29b02d929b7e xen/arch/ia64/xen/hyperprivop.S
--- a/xen/arch/ia64/xen/hyperprivop.S   Mon Oct 23 14:19:14 2006 +0100
+++ b/xen/arch/ia64/xen/hyperprivop.S   Mon Oct 23 14:42:52 2006 +0100
@@ -203,7 +203,7 @@ END(fast_hyperprivop)
 
 // give up for now if: ipsr.be==1, ipsr.pp==1
 // from reflect_interruption, don't need to:
-//  - printf first extint (debug only)
+//  - printk first extint (debug only)
 //  - check for interrupt collection enabled (routine will force on)
 //  - set ifa (not valid for extint)
 //  - set iha (not valid for extint)
diff -r f5d179bcad70 -r 29b02d929b7e xen/arch/ia64/xen/irq.c
--- a/xen/arch/ia64/xen/irq.c   Mon Oct 23 14:19:14 2006 +0100
+++ b/xen/arch/ia64/xen/irq.c   Mon Oct 23 14:42:52 2006 +0100
@@ -481,7 +481,7 @@ xen_debug_irq(unsigned long vector, stru
                firstirq = 0;
        }
        if (firsttime[vector]) {
-               printf("**** (entry) First received int on 
vector=%lu,itc=%lx\n",
+               printk("**** (entry) First received int on 
vector=%lu,itc=%lx\n",
                        (unsigned long) vector, ia64_get_itc());
                firsttime[vector] = 0;
        }
diff -r f5d179bcad70 -r 29b02d929b7e xen/arch/ia64/xen/mm.c
--- a/xen/arch/ia64/xen/mm.c    Mon Oct 23 14:19:14 2006 +0100
+++ b/xen/arch/ia64/xen/mm.c    Mon Oct 23 14:42:52 2006 +0100
@@ -460,7 +460,7 @@ u64 translate_domain_pte(u64 pteval, u64
                           This can happen when domU tries to touch i/o
                           port space.  Also prevents possible address
                           aliasing issues.  */
-                       printf("Warning: UC to WB for mpaddr=%lx\n", mpaddr);
+                       printk("Warning: UC to WB for mpaddr=%lx\n", mpaddr);
                        pteval = (pteval & ~_PAGE_MA_MASK) | _PAGE_MA_WB;
                }
                break;
@@ -715,7 +715,7 @@ __assign_new_domain_page(struct domain *
 
     p = alloc_domheap_page(d);
     if (unlikely(!p)) {
-        printf("assign_new_domain_page: Can't alloc!!!! Aaaargh!\n");
+        printk("assign_new_domain_page: Can't alloc!!!! Aaaargh!\n");
         return(p);
     }
 
@@ -726,7 +726,7 @@ __assign_new_domain_page(struct domain *
                  && maddr < __get_cpu_var(vhpt_pend))) {
         /* FIXME: how can this happen ?
            vhpt is allocated by alloc_domheap_page.  */
-        printf("assign_new_domain_page: reassigned vhpt page %lx!!\n",
+        printk("assign_new_domain_page: reassigned vhpt page %lx!!\n",
                maddr);
     }
 
@@ -1536,7 +1536,7 @@ void domain_cache_flush (struct domain *
             }
         }
     }
-    //printf ("domain_cache_flush: %d %d pages\n", d->domain_id, nbr_page);
+    //printk ("domain_cache_flush: %d %d pages\n", d->domain_id, nbr_page);
 }
 
 #ifdef VERBOSE
diff -r f5d179bcad70 -r 29b02d929b7e xen/arch/ia64/xen/privop.c
--- a/xen/arch/ia64/xen/privop.c        Mon Oct 23 14:19:14 2006 +0100
+++ b/xen/arch/ia64/xen/privop.c        Mon Oct 23 14:42:52 2006 +0100
@@ -525,14 +525,14 @@ priv_handle_op(VCPU *vcpu, REGS *regs, i
        if (iip==0xa000000100001820) {
                static int firstpagefault = 1;
                if (firstpagefault) {
-                       printf("*** First time to domain page fault!\n");       
                        firstpagefault=0;
+                       printk("*** First time to domain page fault!\n");       
                        firstpagefault=0;
                }
        }
 #endif
        if (privop_trace) {
                static long i = 400;
-               //if (i > 0) printf("priv_handle_op: at 0x%lx\n",iip);
-               if (i > 0) printf("priv_handle_op: privop trace at 0x%lx, 
itc=%lx, itm=%lx\n",
+               //if (i > 0) printk("priv_handle_op: at 0x%lx\n",iip);
+               if (i > 0) printk("priv_handle_op: privop trace at 0x%lx, 
itc=%lx, itm=%lx\n",
                        iip,ia64_get_itc(),ia64_get_itm());
                i--;
        }
@@ -541,11 +541,11 @@ priv_handle_op(VCPU *vcpu, REGS *regs, i
        else if (slot == 1)
                inst.inst = ((bundle.i64[0]>>46) | bundle.i64[1]<<18) & MASK_41;
        else if (slot == 2) inst.inst = (bundle.i64[1]>>23) & MASK_41; 
-       else printf("priv_handle_op: illegal slot: %d\n", slot);
+       else printk("priv_handle_op: illegal slot: %d\n", slot);
 
        slot_type = slot_types[bundle.template][slot];
        if (priv_verbose) {
-               printf("priv_handle_op: checking bundle at 0x%lx (op=0x%016lx) 
slot %d (type=%d)\n",
+               printk("priv_handle_op: checking bundle at 0x%lx (op=0x%016lx) 
slot %d (type=%d)\n",
                 iip, (UINT64)inst.inst, slot, slot_type);
        }
        if (slot_type == B && inst.generic.major == 0 && inst.B8.x6 == 0x0) {
@@ -648,10 +648,10 @@ priv_handle_op(VCPU *vcpu, REGS *regs, i
            default:
                break;
        }
-        //printf("We who are about do die salute you\n");
-       printf("priv_handle_op: can't handle privop at 0x%lx (op=0x%016lx) slot 
%d (type=%d), ipsr=0x%lx\n",
+        //printk("We who are about do die salute you\n");
+       printk("priv_handle_op: can't handle privop at 0x%lx (op=0x%016lx) slot 
%d (type=%d), ipsr=0x%lx\n",
                 iip, (UINT64)inst.inst, slot, slot_type, ipsr);
-        //printf("vtop(0x%lx)==0x%lx\n", iip, tr_vtop(iip));
+        //printk("vtop(0x%lx)==0x%lx\n", iip, tr_vtop(iip));
         //thread_mozambique("privop fault\n");
        return (IA64_ILLOP_FAULT);
 }
@@ -676,8 +676,8 @@ priv_emulate(VCPU *vcpu, REGS *regs, UIN
 
        // handle privops masked as illops? and breaks (6)
        if (isrcode != 1 && isrcode != 2 && isrcode != 0 && isrcode != 6) {
-               printf("priv_emulate: isrcode != 0 or 1 or 2\n");
-               printf("priv_emulate: returning ILLOP, not implemented!\n");
+               printk("priv_emulate: isrcode != 0 or 1 or 2\n");
+               printk("priv_emulate: returning ILLOP, not implemented!\n");
                while (1);
                return IA64_ILLOP_FAULT;
        }
@@ -690,7 +690,7 @@ priv_emulate(VCPU *vcpu, REGS *regs, UIN
                (void)vcpu_increment_iip(vcpu);
        }
        if (fault == IA64_ILLOP_FAULT)
-               printf("priv_emulate: priv_handle_op fails, "
+               printk("priv_emulate: priv_handle_op fails, "
                       "isr=0x%lx iip=%lx\n",isr, regs->cr_iip);
        return fault;
 }
diff -r f5d179bcad70 -r 29b02d929b7e xen/arch/ia64/xen/regionreg.c
--- a/xen/arch/ia64/xen/regionreg.c     Mon Oct 23 14:19:14 2006 +0100
+++ b/xen/arch/ia64/xen/regionreg.c     Mon Oct 23 14:42:52 2006 +0100
@@ -106,7 +106,7 @@ void init_rid_allocator (void)
        /* Due to RID mangling, we expect 24 RID bits!
           This test should be removed if RID mangling is removed/modified.  */
        if (implemented_rid_bits != 24) {
-               printf ("RID mangling expected 24 RID bits, got only %d!\n",
+               printk ("RID mangling expected 24 RID bits, got only %d!\n",
                        implemented_rid_bits);
                BUG();
        }
@@ -117,14 +117,14 @@ void init_rid_allocator (void)
 
        /* Check for too small values.  */
        if (domain_rid_bits_default < IA64_MIN_IMPL_RID_BITS) {
-               printf ("Default domain rid bits %d is too small, use %d\n",
+               printk ("Default domain rid bits %d is too small, use %d\n",
                        domain_rid_bits_default, IA64_MIN_IMPL_RID_BITS);
                domain_rid_bits_default = IA64_MIN_IMPL_RID_BITS;
        }
 
        log_blocks = (implemented_rid_bits - IA64_MIN_IMPL_RID_BITS);
 
-       printf ("Maximum number of domains: %d; %d RID bits per domain\n",
+       printk ("Maximum number of domains: %d; %d RID bits per domain\n",
                (1 << (implemented_rid_bits - domain_rid_bits_default)) - 1,
                domain_rid_bits_default);
        
@@ -185,7 +185,7 @@ int allocate_rid_range(struct domain *d,
        d->arch.metaphysical_rr0 = allocate_metaphysical_rr(d, 0);
        d->arch.metaphysical_rr4 = allocate_metaphysical_rr(d, 1);
 
-       printf("### domain %p: rid=%x-%x mp_rid=%x\n",
+       printk("### domain %p: rid=%x-%x mp_rid=%x\n",
               d, d->arch.starting_rid, d->arch.ending_rid,
               d->arch.starting_mp_rid);
        
diff -r f5d179bcad70 -r 29b02d929b7e xen/arch/ia64/xen/vcpu.c
--- a/xen/arch/ia64/xen/vcpu.c  Mon Oct 23 14:19:14 2006 +0100
+++ b/xen/arch/ia64/xen/vcpu.c  Mon Oct 23 14:42:52 2006 +0100
@@ -189,7 +189,7 @@ IA64FAULT vcpu_set_ar(VCPU *vcpu, UINT64
        if (reg == 44) return (vcpu_set_itc(vcpu,val));
        else if (reg == 27) return (IA64_ILLOP_FAULT);
        else if (reg == 24)
-           printf("warning: setting ar.eflg is a no-op; no IA-32 support\n");
+           printk("warning: setting ar.eflg is a no-op; no IA-32 support\n");
        else if (reg > 7) return (IA64_ILLOP_FAULT);
        else {
                PSCB(vcpu,krs[reg]) = val;
@@ -201,7 +201,7 @@ IA64FAULT vcpu_get_ar(VCPU *vcpu, UINT64
 IA64FAULT vcpu_get_ar(VCPU *vcpu, UINT64 reg, UINT64 *val)
 {
        if (reg == 24)
-           printf("warning: getting ar.eflg is a no-op; no IA-32 support\n");
+           printk("warning: getting ar.eflg is a no-op; no IA-32 support\n");
        else if (reg > 7) return (IA64_ILLOP_FAULT);
        else *val = PSCB(vcpu,krs[reg]);
        return IA64_NO_FAULT;
@@ -304,7 +304,7 @@ IA64FAULT vcpu_set_psr_sm(VCPU *vcpu, UI
        if (imm.sp) { ipsr->sp = 1; psr.sp = 1; }
        if (imm.i) {
                if (vcpu->vcpu_info->evtchn_upcall_mask) {
-//printf("vcpu_set_psr_sm: psr.ic 0->1\n");
+//printk("vcpu_set_psr_sm: psr.ic 0->1\n");
                        enabling_interrupts = 1;
                }
                vcpu->vcpu_info->evtchn_upcall_mask = 0;
@@ -316,7 +316,7 @@ IA64FAULT vcpu_set_psr_sm(VCPU *vcpu, UI
        if (imm.ac) { ipsr->ac = 1; psr.ac = 1; }
        if (imm.up) { ipsr->up = 1; psr.up = 1; }
        if (imm.be) {
-               printf("*** DOMAIN TRYING TO TURN ON BIG-ENDIAN!!!\n");
+               printk("*** DOMAIN TRYING TO TURN ON BIG-ENDIAN!!!\n");
                return (IA64_ILLOP_FAULT);
        }
        if (imm.dt) vcpu_set_metaphysical_mode(vcpu,FALSE);
@@ -365,7 +365,7 @@ IA64FAULT vcpu_set_psr_l(VCPU *vcpu, UIN
        if (newpsr.dt && newpsr.rt) vcpu_set_metaphysical_mode(vcpu,FALSE);
        else vcpu_set_metaphysical_mode(vcpu,TRUE);
        if (newpsr.be) {
-               printf("*** DOMAIN TRYING TO TURN ON BIG-ENDIAN!!!\n");
+               printk("*** DOMAIN TRYING TO TURN ON BIG-ENDIAN!!!\n");
                return (IA64_ILLOP_FAULT);
        }
        if (enabling_interrupts &&
@@ -408,7 +408,7 @@ UINT64 vcpu_get_ipsr_int_state(VCPU *vcp
        UINT64 dcr = PSCBX(vcpu,dcr);
        PSR psr;
 
-       //printf("*** vcpu_get_ipsr_int_state (0x%016lx)...\n",prevpsr);
+       //printk("*** vcpu_get_ipsr_int_state (0x%016lx)...\n",prevpsr);
        psr.i64 = prevpsr;
        psr.ia64_psr.be = 0; if (dcr & IA64_DCR_BE) psr.ia64_psr.be = 1;
        psr.ia64_psr.pp = 0; if (dcr & IA64_DCR_PP) psr.ia64_psr.pp = 1;
@@ -418,7 +418,7 @@ UINT64 vcpu_get_ipsr_int_state(VCPU *vcp
        psr.ia64_psr.dt = 1; psr.ia64_psr.it = 1; psr.ia64_psr.rt = 1;
        if (psr.ia64_psr.cpl == 2) psr.ia64_psr.cpl = 0; // !!!! fool domain
        // psr.pk = 1;
-       //printf("returns 0x%016lx...\n",psr.i64);
+       //printk("returns 0x%016lx...\n",psr.i64);
        return psr.i64;
 }
 
@@ -519,7 +519,7 @@ IA64FAULT vcpu_get_iipa(VCPU *vcpu, UINT
        UINT64 val = PSCB(vcpu,iipa);
        // SP entry code does not save iipa yet nor does it get
        //  properly delivered in the pscb
-//     printf("*** vcpu_get_iipa: cr.iipa not fully implemented yet!!\n");
+//     printk("*** vcpu_get_iipa: cr.iipa not fully implemented yet!!\n");
        *pval = val;
        return (IA64_NO_FAULT);
 }
@@ -570,7 +570,7 @@ IA64FAULT vcpu_set_pta(VCPU *vcpu, UINT6
 IA64FAULT vcpu_set_pta(VCPU *vcpu, UINT64 val)
 {
        if (val & IA64_PTA_LFMT) {
-               printf("*** No support for VHPT long format yet!!\n");
+               printk("*** No support for VHPT long format yet!!\n");
                return (IA64_ILLOP_FAULT);
        }
        if (val & (0x3f<<9)) /* reserved fields */ return IA64_RSVDREG_FAULT;
@@ -622,7 +622,7 @@ IA64FAULT vcpu_set_iipa(VCPU *vcpu, UINT
 {
        // SP entry code does not save iipa yet nor does it get
        //  properly delivered in the pscb
-//     printf("*** vcpu_set_iipa: cr.iipa not fully implemented yet!!\n");
+//     printk("*** vcpu_set_iipa: cr.iipa not fully implemented yet!!\n");
        PSCB(vcpu,iipa) = val;
        return IA64_NO_FAULT;
 }
@@ -658,12 +658,12 @@ void vcpu_pend_interrupt(VCPU *vcpu, UIN
 void vcpu_pend_interrupt(VCPU *vcpu, UINT64 vector)
 {
        if (vector & ~0xff) {
-               printf("vcpu_pend_interrupt: bad vector\n");
+               printk("vcpu_pend_interrupt: bad vector\n");
                return;
        }
 
        if (vcpu->arch.event_callback_ip) {
-               printf("Deprecated interface. Move to new event based 
solution\n");
+               printk("Deprecated interface. Move to new event based 
solution\n");
                return;
        }
                
@@ -718,7 +718,7 @@ check_start:
        }
        // have a pending,deliverable interrupt... see if it is masked
        bitnum = ia64_fls(bits);
-//printf("XXXXXXX vcpu_check_pending_interrupts: got bitnum=%p...\n",bitnum);
+//printk("XXXXXXX vcpu_check_pending_interrupts: got bitnum=%p...\n",bitnum);
        vector = bitnum+(i*64);
        mask = 1L << bitnum;
        /* sanity check for guest timer interrupt */
@@ -730,24 +730,24 @@ check_start:
                        goto check_start;
                }
        }
-//printf("XXXXXXX vcpu_check_pending_interrupts: got vector=%p...\n",vector);
+//printk("XXXXXXX vcpu_check_pending_interrupts: got vector=%p...\n",vector);
        if (*r >= mask) {
                // masked by equal inservice
-//printf("but masked by equal inservice\n");
+//printk("but masked by equal inservice\n");
                return SPURIOUS_VECTOR;
        }
        if (PSCB(vcpu,tpr) & IA64_TPR_MMI) {
                // tpr.mmi is set
-//printf("but masked by tpr.mmi\n");
+//printk("but masked by tpr.mmi\n");
                return SPURIOUS_VECTOR;
        }
        if (((PSCB(vcpu,tpr) & IA64_TPR_MIC) + 15) >= vector) {
                //tpr.mic masks class
-//printf("but masked by tpr.mic\n");
+//printk("but masked by tpr.mic\n");
                return SPURIOUS_VECTOR;
        }
 
-//printf("returned to caller\n");
+//printk("returned to caller\n");
        return vector;
 }
 
@@ -805,7 +805,7 @@ IA64FAULT vcpu_get_ivr(VCPU *vcpu, UINT6
 #if 0
        if (vector == (PSCB(vcpu,itv) & 0xff)) {
            if (!(++count[domid] & ((HEARTBEAT_FREQ*1024)-1))) {
-               printf("Dom%d heartbeat... ticks=%lx,nonticks=%lx\n",
+               printk("Dom%d heartbeat... ticks=%lx,nonticks=%lx\n",
                        domid, count[domid], nonclockcount[domid]);
                //count[domid] = 0;
                //dump_runq();
@@ -818,7 +818,7 @@ IA64FAULT vcpu_get_ivr(VCPU *vcpu, UINT6
        // getting ivr has "side effects"
 #ifdef IRQ_DEBUG
        if (firsttime[vector]) {
-               printf("*** First get_ivr on vector=%lu,itc=%lx\n",
+               printk("*** First get_ivr on vector=%lu,itc=%lx\n",
                        vector,ia64_get_itc());
                firsttime[vector]=0;
        }
@@ -832,7 +832,7 @@ IA64FAULT vcpu_get_ivr(VCPU *vcpu, UINT6
 
        i = vector >> 6;
        mask = 1L << (vector & 0x3f);
-//printf("ZZZZZZ vcpu_get_ivr: setting insvc mask for vector %lu\n",vector);
+//printk("ZZZZZZ vcpu_get_ivr: setting insvc mask for vector %lu\n",vector);
        PSCBX(vcpu,insvc[i]) |= mask;
        PSCBX(vcpu,irr[i]) &= ~mask;
        //PSCB(vcpu,pending_interruption)--;
@@ -897,7 +897,7 @@ IA64FAULT vcpu_get_lrr0(VCPU *vcpu, UINT
 IA64FAULT vcpu_get_lrr0(VCPU *vcpu, UINT64 *pval)
 {
        // fix this when setting values other than m-bit is supported
-       printf("vcpu_get_lrr0: Unmasked interrupts unsupported\n");
+       printk("vcpu_get_lrr0: Unmasked interrupts unsupported\n");
        *pval = (1L << 16);
        return (IA64_NO_FAULT);
 }
@@ -905,14 +905,14 @@ IA64FAULT vcpu_get_lrr1(VCPU *vcpu, UINT
 IA64FAULT vcpu_get_lrr1(VCPU *vcpu, UINT64 *pval)
 {
        // fix this when setting values other than m-bit is supported
-       printf("vcpu_get_lrr1: Unmasked interrupts unsupported\n");
+       printk("vcpu_get_lrr1: Unmasked interrupts unsupported\n");
        *pval = (1L << 16);
        return (IA64_NO_FAULT);
 }
 
 IA64FAULT vcpu_set_lid(VCPU *vcpu, UINT64 val)
 {
-       printf("vcpu_set_lid: Setting cr.lid is unsupported\n");
+       printk("vcpu_set_lid: Setting cr.lid is unsupported\n");
        return (IA64_ILLOP_FAULT);
 }
 
@@ -934,7 +934,7 @@ IA64FAULT vcpu_set_eoi(VCPU *vcpu, UINT6
        p = &PSCBX(vcpu,insvc[3]);
        for (i = 3; (i >= 0) && !(bits = *p); i--, p--);
        if (i < 0) {
-               printf("Trying to EOI interrupt when none are in-service.\n");
+               printk("Trying to EOI interrupt when none are in-service.\n");
                return IA64_NO_FAULT;
        }
        bitnum = ia64_fls(bits);
@@ -946,18 +946,18 @@ IA64FAULT vcpu_set_eoi(VCPU *vcpu, UINT6
        if (!vcpu->vcpu_info->evtchn_upcall_mask) { // but only if enabled...
                // worry about this later... Linux only calls eoi
                // with interrupts disabled
-               printf("Trying to EOI interrupt with interrupts enabled\n");
+               printk("Trying to EOI interrupt with interrupts enabled\n");
        }
        if (vcpu_check_pending_interrupts(vcpu) != SPURIOUS_VECTOR)
                PSCB(vcpu,pending_interruption) = 1;
-//printf("YYYYY vcpu_set_eoi: Successful\n");
+//printk("YYYYY vcpu_set_eoi: Successful\n");
        return (IA64_NO_FAULT);
 }
 
 IA64FAULT vcpu_set_lrr0(VCPU *vcpu, UINT64 val)
 {
        if (!(val & (1L << 16))) {
-               printf("vcpu_set_lrr0: Unmasked interrupts unsupported\n");
+               printk("vcpu_set_lrr0: Unmasked interrupts unsupported\n");
                return (IA64_ILLOP_FAULT);
        }
        // no place to save this state but nothing to do anyway
@@ -967,7 +967,7 @@ IA64FAULT vcpu_set_lrr1(VCPU *vcpu, UINT
 IA64FAULT vcpu_set_lrr1(VCPU *vcpu, UINT64 val)
 {
        if (!(val & (1L << 16))) {
-               printf("vcpu_set_lrr0: Unmasked interrupts unsupported\n");
+               printk("vcpu_set_lrr0: Unmasked interrupts unsupported\n");
                return (IA64_ILLOP_FAULT);
        }
        // no place to save this state but nothing to do anyway
@@ -1051,7 +1051,7 @@ void vcpu_safe_set_itm(unsigned long val
 
        local_irq_save(flags);
        while (1) {
-//printf("*** vcpu_safe_set_itm: Setting itm to %lx, itc=%lx\n",val,now);
+//printk("*** vcpu_safe_set_itm: Setting itm to %lx, itc=%lx\n",val,now);
                ia64_set_itm(val);
                if (val > (now = ia64_get_itc())) break;
                val = now + epsilon;
@@ -1071,7 +1071,7 @@ void vcpu_set_next_timer(VCPU *vcpu)
         * but it doesn't matter right now */
 
        if (is_idle_domain(vcpu->domain)) {
-//             printf("****** vcpu_set_next_timer called during idle!!\n");
+//             printk("****** vcpu_set_next_timer called during idle!!\n");
                vcpu_safe_set_itm(s);
                return;
        }
@@ -1091,7 +1091,7 @@ IA64FAULT vcpu_set_itm(VCPU *vcpu, UINT6
        //UINT now = ia64_get_itc();
 
        //if (val < now) val = now + 1000;
-//printf("*** vcpu_set_itm: called with %lx\n",val);
+//printk("*** vcpu_set_itm: called with %lx\n",val);
        PSCBX(vcpu,domain_itm) = val;
        vcpu_set_next_timer(vcpu);
        return (IA64_NO_FAULT);
@@ -1103,8 +1103,8 @@ IA64FAULT vcpu_set_itc(VCPU *vcpu, UINT6
 #ifdef DISALLOW_SETTING_ITC_FOR_NOW
        static int did_print;
        if (!did_print) {
-               printf("vcpu_set_itc: Setting ar.itc is currently disabled\n");
-               printf("(this message is only displayed one)\n");
+               printk("vcpu_set_itc: Setting ar.itc is currently disabled\n");
+               printk("(this message is only displayed one)\n");
                did_print = 1;
        }
 #else
@@ -1117,7 +1117,7 @@ IA64FAULT vcpu_set_itc(VCPU *vcpu, UINT6
 
        local_irq_disable();
        if (olditm) {
-printf("**** vcpu_set_itc(%lx): vitm changed to %lx\n",val,newnow+d);
+printk("**** vcpu_set_itc(%lx): vitm changed to %lx\n",val,newnow+d);
                PSCBX(vcpu,domain_itm) = newnow + d;
        }
        local_cpu_data->itm_next = newnow + x;
@@ -1141,7 +1141,7 @@ IA64FAULT vcpu_get_itm(VCPU *vcpu, UINT6
 IA64FAULT vcpu_get_itm(VCPU *vcpu, UINT64 *pval)
 {
        //FIXME: Implement this
-       printf("vcpu_get_itm: Getting cr.itm is unsupported... continuing\n");
+       printk("vcpu_get_itm: Getting cr.itm is unsupported... continuing\n");
        return (IA64_NO_FAULT);
        //return (IA64_ILLOP_FAULT);
 }
@@ -1149,7 +1149,7 @@ IA64FAULT vcpu_get_itc(VCPU *vcpu, UINT6
 IA64FAULT vcpu_get_itc(VCPU *vcpu, UINT64 *pval)
 {
        //TODO: Implement this
-       printf("vcpu_get_itc: Getting ar.itc is unsupported\n");
+       printk("vcpu_get_itc: Getting ar.itc is unsupported\n");
        return (IA64_ILLOP_FAULT);
 }
 
@@ -1231,7 +1231,7 @@ IA64FAULT vcpu_rfi(VCPU *vcpu)
        psr.ia64_psr.bn = 1;
        //psr.pk = 1;  // checking pkeys shouldn't be a problem but seems broken
        if (psr.ia64_psr.be) {
-               printf("*** DOMAIN TRYING TO TURN ON BIG-ENDIAN!!!\n");
+               printk("*** DOMAIN TRYING TO TURN ON BIG-ENDIAN!!!\n");
                return (IA64_ILLOP_FAULT);
        }
        PSCB(vcpu,incomplete_regframe) = 0; // is this necessary?
@@ -1297,7 +1297,7 @@ IA64FAULT vcpu_thash(VCPU *vcpu, UINT64 
 
 IA64FAULT vcpu_ttag(VCPU *vcpu, UINT64 vadr, UINT64 *padr)
 {
-       printf("vcpu_ttag: ttag instruction unsupported\n");
+       printk("vcpu_ttag: ttag instruction unsupported\n");
        return (IA64_ILLOP_FAULT);
 }
 
@@ -1601,7 +1601,7 @@ IA64FAULT vcpu_tpa(VCPU *vcpu, UINT64 va
 
 IA64FAULT vcpu_tak(VCPU *vcpu, UINT64 vadr, UINT64 *key)
 {
-       printf("vcpu_tak: tak instruction unsupported\n");
+       printk("vcpu_tak: tak instruction unsupported\n");
        return (IA64_ILLOP_FAULT);
        // HACK ALERT: tak does a thash for now
        //return vcpu_thash(vcpu,vadr,key);
@@ -1652,7 +1652,7 @@ IA64FAULT vcpu_set_pmc(VCPU *vcpu, UINT6
        // TODO: Should set Logical CPU state, not just physical
        // NOTE: Writes to unimplemented PMC registers are discarded
 #ifdef DEBUG_PFMON
-printf("vcpu_set_pmc(%x,%lx)\n",reg,val);
+printk("vcpu_set_pmc(%x,%lx)\n",reg,val);
 #endif
        ia64_set_pmc(reg,val);
        return (IA64_NO_FAULT);
@@ -1663,7 +1663,7 @@ IA64FAULT vcpu_set_pmd(VCPU *vcpu, UINT6
        // TODO: Should set Logical CPU state, not just physical
        // NOTE: Writes to unimplemented PMD registers are discarded
 #ifdef DEBUG_PFMON
-printf("vcpu_set_pmd(%x,%lx)\n",reg,val);
+printk("vcpu_set_pmd(%x,%lx)\n",reg,val);
 #endif
        ia64_set_pmd(reg,val);
        return (IA64_NO_FAULT);
@@ -1674,7 +1674,7 @@ IA64FAULT vcpu_get_pmc(VCPU *vcpu, UINT6
        // NOTE: Reads from unimplemented PMC registers return zero
        UINT64 val = (UINT64)ia64_get_pmc(reg);
 #ifdef DEBUG_PFMON
-printf("%lx=vcpu_get_pmc(%x)\n",val,reg);
+printk("%lx=vcpu_get_pmc(%x)\n",val,reg);
 #endif
        *pval = val;
        return (IA64_NO_FAULT);
@@ -1685,7 +1685,7 @@ IA64FAULT vcpu_get_pmd(VCPU *vcpu, UINT6
        // NOTE: Reads from unimplemented PMD registers return zero
        UINT64 val = (UINT64)ia64_get_pmd(reg);
 #ifdef DEBUG_PFMON
-printf("%lx=vcpu_get_pmd(%x)\n",val,reg);
+printk("%lx=vcpu_get_pmd(%x)\n",val,reg);
 #endif
        *pval = val;
        return (IA64_NO_FAULT);
@@ -1914,7 +1914,7 @@ IA64FAULT vcpu_itr_d(VCPU *vcpu, UINT64 
        vcpu_purge_tr_entry(&PSCBX(vcpu, dtlb));
 
        trp = &PSCBX(vcpu,dtrs[slot]);
-//printf("***** itr.d: setting slot %d: ifa=%p\n",slot,ifa);
+//printk("***** itr.d: setting slot %d: ifa=%p\n",slot,ifa);
        vcpu_set_tr_entry(trp,pte,itir,ifa);
        vcpu_quick_region_set(PSCBX(vcpu,dtr_regions),ifa);
 
@@ -1940,7 +1940,7 @@ IA64FAULT vcpu_itr_i(VCPU *vcpu, UINT64 
        vcpu_purge_tr_entry(&PSCBX(vcpu, itlb));
 
        trp = &PSCBX(vcpu,itrs[slot]);
-//printf("***** itr.i: setting slot %d: ifa=%p\n",slot,ifa);
+//printk("***** itr.i: setting slot %d: ifa=%p\n",slot,ifa);
        vcpu_set_tr_entry(trp,pte,itir,ifa);
        vcpu_quick_region_set(PSCBX(vcpu,itr_regions),ifa);
 
@@ -2020,7 +2020,7 @@ void vcpu_itc_no_srlz(VCPU *vcpu, UINT64
                // FIXME: this is dangerous... vhpt_flush_address ensures these
                // addresses never get flushed.  More work needed if this
                // ever happens.
-//printf("vhpt_insert(%p,%p,%p)\n",vaddr,pte,1L<<logps);
+//printk("vhpt_insert(%p,%p,%p)\n",vaddr,pte,1L<<logps);
                if (logps > PAGE_SHIFT) vhpt_multiple_insert(vaddr,pte,logps);
                else vhpt_insert(vaddr,pte,logps<<2);
        }
@@ -2147,7 +2147,7 @@ IA64FAULT vcpu_ptc_ga(VCPU *vcpu,UINT64 
        // FIXME: validate not flushing Xen addresses
        // if (Xen address) return(IA64_ILLOP_FAULT);
        // FIXME: ??breaks if domain PAGE_SIZE < Xen PAGE_SIZE
-//printf("######## vcpu_ptc_ga(%p,%p) ##############\n",vadr,addr_range);
+//printk("######## vcpu_ptc_ga(%p,%p) ##############\n",vadr,addr_range);
 
        check_xen_space_overlap ("ptc_ga", vadr, addr_range);
 
diff -r f5d179bcad70 -r 29b02d929b7e xen/arch/ia64/xen/vhpt.c
--- a/xen/arch/ia64/xen/vhpt.c  Mon Oct 23 14:19:14 2006 +0100
+++ b/xen/arch/ia64/xen/vhpt.c  Mon Oct 23 14:42:52 2006 +0100
@@ -87,7 +87,7 @@ void vhpt_multiple_insert(unsigned long 
                //  only a few times/second, so OK for now.
                //  An alternate solution would be to just insert the one
                //  16KB in the vhpt (but with the full mapping)?
-               //printf("vhpt_multiple_insert: logps-PAGE_SHIFT==%d,"
+               //printk("vhpt_multiple_insert: logps-PAGE_SHIFT==%d,"
                        //"va=%p, pa=%p, pa-masked=%p\n",
                        //logps-PAGE_SHIFT,vaddr,pte&_PFN_MASK,
                        //(pte&_PFN_MASK)&~mask);
@@ -120,7 +120,7 @@ void vhpt_init(void)
                panic("vhpt_init: bad VHPT alignment!\n");
        __get_cpu_var(vhpt_paddr) = paddr;
        __get_cpu_var(vhpt_pend) = paddr + (1 << VHPT_SIZE_LOG2) - 1;
-       printf("vhpt_init: vhpt paddr=0x%lx, end=0x%lx\n",
+       printk("vhpt_init: vhpt paddr=0x%lx, end=0x%lx\n",
                paddr, __get_cpu_var(vhpt_pend));
        pte = pte_val(pfn_pte(paddr >> PAGE_SHIFT, PAGE_KERNEL));
        vhpt_map(pte);
@@ -209,7 +209,7 @@ void domain_flush_vtlb_range (struct dom
 #if 0
        // this only seems to occur at shutdown, but it does occur
        if ((!addr_range) || addr_range & (addr_range - 1)) {
-               printf("vhpt_flush_address: weird range, spinning...\n");
+               printk("vhpt_flush_address: weird range, spinning...\n");
                while(1);
        }
 #endif
diff -r f5d179bcad70 -r 29b02d929b7e xen/arch/ia64/xen/xenmisc.c
--- a/xen/arch/ia64/xen/xenmisc.c       Mon Oct 23 14:19:14 2006 +0100
+++ b/xen/arch/ia64/xen/xenmisc.c       Mon Oct 23 14:42:52 2006 +0100
@@ -179,13 +179,13 @@ void panic_domain(struct pt_regs *regs, 
        char buf[256];
        struct vcpu *v = current;
 
-       printf("$$$$$ PANIC in domain %d (k6=0x%lx): ",
+       printk("$$$$$ PANIC in domain %d (k6=0x%lx): ",
                v->domain->domain_id,
                __get_cpu_var(cpu_kr)._kr[IA64_KR_CURRENT]);
        va_start(args, fmt);
        (void)vsnprintf(buf, sizeof(buf), fmt, args);
        va_end(args);
-       printf(buf);
+       printk(buf);
        if (regs) show_registers(regs);
        if (regs) {
                debugger_trap_fatal(0 /* don't care */, regs);
diff -r f5d179bcad70 -r 29b02d929b7e xen/arch/ia64/xen/xensetup.c
--- a/xen/arch/ia64/xen/xensetup.c      Mon Oct 23 14:19:14 2006 +0100
+++ b/xen/arch/ia64/xen/xensetup.c      Mon Oct 23 14:42:52 2006 +0100
@@ -386,13 +386,13 @@ void start_kernel(void)
     /* first find highest page frame number */
     max_page = 0;
     efi_memmap_walk(find_max_pfn, &max_page);
-    printf("find_memory: efi_memmap_walk returns max_page=%lx\n",max_page);
+    printk("find_memory: efi_memmap_walk returns max_page=%lx\n",max_page);
     efi_print();
 
     heap_start = memguard_init(ia64_imva(&_end));
-    printf("Before heap_start: %p\n", heap_start);
+    printk("Before heap_start: %p\n", heap_start);
     heap_start = __va(init_boot_allocator(__pa(heap_start)));
-    printf("After heap_start: %p\n", heap_start);
+    printk("After heap_start: %p\n", heap_start);
 
     efi_memmap_walk(filter_rsvd_memory, init_boot_pages);
     efi_memmap_walk(xen_count_pages, &nr_pages);
diff -r f5d179bcad70 -r 29b02d929b7e xen/arch/ia64/xen/xentime.c
--- a/xen/arch/ia64/xen/xentime.c       Mon Oct 23 14:19:14 2006 +0100
+++ b/xen/arch/ia64/xen/xentime.c       Mon Oct 23 14:42:52 2006 +0100
@@ -116,7 +116,7 @@ xen_timer_interrupt (int irq, void *dev_
 #ifdef HEARTBEAT_FREQ
        static long count = 0;
        if (!(++count & ((HEARTBEAT_FREQ*1024)-1))) {
-               printf("Heartbeat... iip=%p\n", /*",psr.i=%d,pend=%d\n", */
+               printk("Heartbeat... iip=%p\n", /*",psr.i=%d,pend=%d\n", */
                        regs->cr_iip /*,
                        !current->vcpu_info->evtchn_upcall_mask,
                        VCPU(current,pending_interruption) */);
diff -r f5d179bcad70 -r 29b02d929b7e xen/arch/powerpc/backtrace.c
--- a/xen/arch/powerpc/backtrace.c      Mon Oct 23 14:19:14 2006 +0100
+++ b/xen/arch/powerpc/backtrace.c      Mon Oct 23 14:42:52 2006 +0100
@@ -93,13 +93,13 @@ static void xmon_print_symbol(unsigned l
        const char *name = NULL;
        unsigned long offset, size;
 
-       printf(REG, address);
+       printk(REG, address);
 
     name = symbols_lookup(address, &size, &offset, namebuf);
        if (name) {
-               printf("%s%s+%#lx/%#lx", mid, name, offset, size);
+               printk("%s%s+%#lx/%#lx", mid, name, offset, size);
        }
-       printf("%s", after);
+       printk("%s", after);
 }
 
 static void backtrace(
@@ -114,13 +114,13 @@ static void backtrace(
        do {
                if (sp > xenheap_phys_end) {
                        if (sp != 0)
-                               printf("SP (%lx) is not in xen space\n", sp);
+                               printk("SP (%lx) is not in xen space\n", sp);
                        break;
                }
 
                if (!mread(sp + LRSAVE_OFFSET, &ip, sizeof(unsigned long))
                    || !mread(sp, &newsp, sizeof(unsigned long))) {
-                       printf("Couldn't read stack frame at %lx\n", sp);
+                       printk("Couldn't read stack frame at %lx\n", sp);
                        break;
                }
 
@@ -147,17 +147,17 @@ static void backtrace(
                                printip = 0;
                        } else if (lr < xenheap_phys_end
                        && !(fnstart <= lr && lr < fnend)) {
-                               printf("[link register   ] ");
+                               printk("[link register   ] ");
                                xmon_print_symbol(lr, " ", "\n");
                        }
                        if (printip) {
-                               printf("["REG"] ", sp);
+                               printk("["REG"] ", sp);
                                xmon_print_symbol(ip, " ", " (unreliable)\n");
                        }
                        pc = lr = 0;
 
                } else {
-                       printf("["REG"] ", sp);
+                       printk("["REG"] ", sp);
                        xmon_print_symbol(ip, " ", "\n");
                }
 
@@ -167,11 +167,11 @@ static void backtrace(
                    && marker == REG_FRAME_MARKER) {
                        if (mread(sp + REGS_OFFSET, &regs, sizeof(regs))
                            != sizeof(regs)) {
-                               printf("Couldn't read registers at %lx\n",
+                               printk("Couldn't read registers at %lx\n",
                                       sp + REGS_OFFSET);
                                break;
                        }
-            printf("--- Exception: %x %s at ", regs.entry_vector,
+            printk("--- Exception: %x %s at ", regs.entry_vector,
                               getvecname(TRAP(&regs)));
                        pc = regs.pc;
                        lr = regs.lr;
diff -r f5d179bcad70 -r 29b02d929b7e xen/arch/powerpc/domain.c
--- a/xen/arch/powerpc/domain.c Mon Oct 23 14:19:14 2006 +0100
+++ b/xen/arch/powerpc/domain.c Mon Oct 23 14:42:52 2006 +0100
@@ -97,14 +97,14 @@ void arch_domain_destroy(struct domain *
 
 void machine_halt(void)
 {
-    printf("machine_halt called: spinning....\n");
+    printk("machine_halt called: spinning....\n");
     console_start_sync();
     while(1);
 }
 
 void machine_restart(char * __unused)
 {
-    printf("machine_restart called: spinning....\n");
+    printk("machine_restart called: spinning....\n");
     console_start_sync();
     while(1);
 }
@@ -134,7 +134,7 @@ int arch_set_info_guest(struct vcpu *v, 
 { 
     memcpy(&v->arch.ctxt, &c->user_regs, sizeof(c->user_regs));
 
-    printf("Domain[%d].%d: initializing\n",
+    printk("Domain[%d].%d: initializing\n",
            v->domain->domain_id, v->vcpu_id);
 
     if (v->domain->arch.htab.order == 0)
@@ -186,7 +186,7 @@ void context_switch(struct vcpu *prev, s
     unsigned int cpu = smp_processor_id();
 
 #if 0
-    printf("%s: dom %x to dom %x\n", __func__, prev->domain->domain_id,
+    printk("%s: dom %x to dom %x\n", __func__, prev->domain->domain_id,
             next->domain->domain_id);
 #endif
 
diff -r f5d179bcad70 -r 29b02d929b7e xen/arch/powerpc/of-devwalk.c
--- a/xen/arch/powerpc/of-devwalk.c     Mon Oct 23 14:19:14 2006 +0100
+++ b/xen/arch/powerpc/of-devwalk.c     Mon Oct 23 14:42:52 2006 +0100
@@ -35,7 +35,7 @@ void ofd_prop_print(
     if ( path[0] == '/' && path[1] == '\0' ) {
         path = "";
     }
-    printf("%s: %s/%s: 0x%lx\n", head, path,  name, sz);
+    printk("%s: %s/%s: 0x%lx\n", head, path,  name, sz);
 
 #define DEBUG_PROP
 #ifdef DEBUG_PROP
@@ -56,24 +56,24 @@ void ofd_prop_print(
     }
 
     if ( isstr > 0 ) {
-        printf("%s: \t%s\n", head, b);
+        printk("%s: \t%s\n", head, b);
     } else if ( sz != 0 ) {
-        printf("%s: \t0x", head);
+        printk("%s: \t0x", head);
 
         for ( i = 0; i < sz; i++ ) {
             if ( (i % 4) == 0 && i != 0 ) {
                 if ( (i % 16) == 0 && i != 0 ) {
-                    printf("\n%s: \t0x", head);
+                    printk("\n%s: \t0x", head);
                 } else {
-                    printf(" 0x");
+                    printk(" 0x");
                 }
             }
             if (b[i] < 0x10) {
-                printf("0");
+                printk("0");
             }
-            printf("%x", b[i]);
+            printk("%x", b[i]);
         }
-        printf("\n");
+        printk("\n");
     }
 #else
     (void)prop;
@@ -95,7 +95,7 @@ void ofd_dump_props(void *mem, ofdn_t n,
     }
 
     if (dump & OFD_DUMP_NAMES) {
-        printf("of_walk: %s: phandle 0x%x\n", path, n);
+        printk("of_walk: %s: phandle 0x%x\n", path, n);
     }
 
     p = ofd_nextprop(mem, n, NULL, name);
diff -r f5d179bcad70 -r 29b02d929b7e xen/arch/powerpc/powerpc64/domain.c
--- a/xen/arch/powerpc/powerpc64/domain.c       Mon Oct 23 14:19:14 2006 +0100
+++ b/xen/arch/powerpc/powerpc64/domain.c       Mon Oct 23 14:42:52 2006 +0100
@@ -112,7 +112,7 @@ void save_segments(struct vcpu *v)
         slb_entry[i].slb_esid = esid;
 #ifdef SLB_DEBUG
         if (vsid != 0) {
-            printf("%s: DOM[0x%x]: S%02d: 0x%016lx 0x%016lx\n",
+            printk("%s: DOM[0x%x]: S%02d: 0x%016lx 0x%016lx\n",
                     __func__, v->domain->domain_id, i, vsid, esid);
         }
 #endif
@@ -146,7 +146,7 @@ void load_segments(struct vcpu *v)
 
 #ifdef SLB_DEBUG
         if (vsid != 0) {
-            printf("%s: DOM[0x%x]: R%02d: 0x%016lx 0x%016lx\n",
+            printk("%s: DOM[0x%x]: R%02d: 0x%016lx 0x%016lx\n",
                     __func__, v->domain->domain_id, i, vsid, esid);
         }
 #endif
@@ -173,6 +173,6 @@ void dump_segments(int valid)
 
         if (valid && !(esid & SLB_ESID_VALID))
             continue;
-        printf("S%02d: 0x%016lx 0x%016lx\n", i, vsid, esid);
+        printk("S%02d: 0x%016lx 0x%016lx\n", i, vsid, esid);
     }
 }
diff -r f5d179bcad70 -r 29b02d929b7e xen/arch/x86/boot/x86_32.S
--- a/xen/arch/x86/boot/x86_32.S        Mon Oct 23 14:19:14 2006 +0100
+++ b/xen/arch/x86/boot/x86_32.S        Mon Oct 23 14:42:52 2006 +0100
@@ -185,7 +185,7 @@ ignore_int:
         mov     %eax,%ds
         mov     %eax,%es
         pushl   $int_msg
-        call    printf
+        call    printk
 1:      jmp     1b
 
 /*** STACK LOCATION ***/
diff -r f5d179bcad70 -r 29b02d929b7e xen/arch/x86/boot/x86_64.S
--- a/xen/arch/x86/boot/x86_64.S        Mon Oct 23 14:19:14 2006 +0100
+++ b/xen/arch/x86/boot/x86_64.S        Mon Oct 23 14:42:52 2006 +0100
@@ -186,7 +186,7 @@ ignore_int:
         cld
         leaq    int_msg(%rip),%rdi
         xorl    %eax,%eax
-        call    printf
+        call    printk
 1:      jmp     1b
 
 
diff -r f5d179bcad70 -r 29b02d929b7e xen/arch/x86/hvm/hvm.c
--- a/xen/arch/x86/hvm/hvm.c    Mon Oct 23 14:19:14 2006 +0100
+++ b/xen/arch/x86/hvm/hvm.c    Mon Oct 23 14:42:52 2006 +0100
@@ -248,7 +248,7 @@ void hvm_do_resume(struct vcpu *v)
     case STATE_INVALID:
         break;
     default:
-        printf("Weird HVM iorequest state %d.\n", p->state);
+        printk("Weird HVM iorequest state %d.\n", p->state);
         domain_crash(v->domain);
     }
 }
diff -r f5d179bcad70 -r 29b02d929b7e xen/arch/x86/hvm/io.c
--- a/xen/arch/x86/hvm/io.c     Mon Oct 23 14:19:14 2006 +0100
+++ b/xen/arch/x86/hvm/io.c     Mon Oct 23 14:42:52 2006 +0100
@@ -723,7 +723,7 @@ void hvm_io_assist(struct vcpu *v)
     vio = get_vio(v->domain, v->vcpu_id);
 
     if ( vio == 0 ) {
-        printf("bad shared page: %lx\n", (unsigned long)vio);
+        printk("bad shared page: %lx\n", (unsigned long)vio);
         domain_crash_synchronous();
     }
 
diff -r f5d179bcad70 -r 29b02d929b7e xen/arch/x86/hvm/platform.c
--- a/xen/arch/x86/hvm/platform.c       Mon Oct 23 14:19:14 2006 +0100
+++ b/xen/arch/x86/hvm/platform.c       Mon Oct 23 14:42:52 2006 +0100
@@ -741,7 +741,8 @@ void send_pio_req(unsigned long port, un
     ioreq_t *p;
 
     if ( size == 0 || count == 0 ) {
-        printf("null pio request? port %lx, count %lx, size %d, value %lx, dir 
%d, pvalid %d.\n",
+        printk("null pio request? port %lx, count %lx, "
+               "size %d, value %lx, dir %d, pvalid %d.\n",
                port, count, size, value, dir, pvalid);
     }
 
@@ -794,7 +795,8 @@ static void send_mmio_req(unsigned char 
     ioreq_t *p;
 
     if ( size == 0 || count == 0 ) {
-        printf("null mmio request? type %d, gpa %lx, count %lx, size %d, value 
%lx, dir %d, pvalid %d.\n",
+        printk("null mmio request? type %d, gpa %lx, "
+               "count %lx, size %d, value %lx, dir %d, pvalid %d.\n",
                type, gpa, count, size, value, dir, pvalid);
     }
 
diff -r f5d179bcad70 -r 29b02d929b7e xen/arch/x86/hvm/svm/intr.c
--- a/xen/arch/x86/hvm/svm/intr.c       Mon Oct 23 14:19:14 2006 +0100
+++ b/xen/arch/x86/hvm/svm/intr.c       Mon Oct 23 14:42:52 2006 +0100
@@ -59,7 +59,7 @@ static inline int svm_inject_extint(stru
     intr.fields.prio = 0xF;
     intr.fields.ign_tpr = 1;
     vmcb->vintr = intr;
-//  printf( "IRQ = %d\n", trap );
+
     return 0;
 }
     
diff -r f5d179bcad70 -r 29b02d929b7e xen/arch/x86/hvm/svm/svm.c
--- a/xen/arch/x86/hvm/svm/svm.c        Mon Oct 23 14:19:14 2006 +0100
+++ b/xen/arch/x86/hvm/svm/svm.c        Mon Oct 23 14:42:52 2006 +0100
@@ -1021,7 +1021,7 @@ static void svm_do_general_protection_fa
     error_code = vmcb->exitinfo1;
 
     if (vmcb->idtr.limit == 0) {
-        printf("Huh? We got a GP Fault with an invalid IDTR!\n");
+        printk("Huh? We got a GP Fault with an invalid IDTR!\n");
         svm_dump_vmcb(__func__, vmcb);
         svm_dump_regs(__func__, regs);
         svm_dump_inst(vmcb->rip);
@@ -2295,7 +2295,7 @@ static int svm_do_vmmcall(struct vcpu *v
         /* VMMCALL sanity check */
         if ( vmcb->cpl > get_vmmcall_cpl(regs->edi) )
         {
-            printf("VMMCALL CPL check failed\n");
+            printk("VMMCALL CPL check failed\n");
             return -1;
         }
 
@@ -2305,7 +2305,7 @@ static int svm_do_vmmcall(struct vcpu *v
         case VMMCALL_RESET_TO_REALMODE:
             if ( svm_do_vmmcall_reset_to_realmode(v, regs) )
             {
-                printf("svm_do_vmmcall_reset_to_realmode() failed\n");
+                printk("svm_do_vmmcall_reset_to_realmode() failed\n");
                 return -1;
             }
             /* since we just reset the VMCB, return without adjusting
@@ -2313,7 +2313,7 @@ static int svm_do_vmmcall(struct vcpu *v
             return 0;
 
         case VMMCALL_DEBUG:
-            printf("DEBUG features not implemented yet\n");
+            printk("DEBUG features not implemented yet\n");
             break;
         default:
             break;
@@ -2344,16 +2344,16 @@ void svm_dump_inst(unsigned long eip)
     if (hvm_copy_from_guest_virt(opcode, ptr, sizeof(opcode)) == 0)
         len = sizeof(opcode);
 
-    printf("Code bytes around(len=%d) %lx:", len, eip);
+    printk("Code bytes around(len=%d) %lx:", len, eip);
     for (i = 0; i < len; i++)
     {
         if ((i & 0x0f) == 0)
-            printf("\n%08lx:", ptr+i);
-
-        printf("%02x ", opcode[i]);
-    }
-
-    printf("\n");
+            printk("\n%08lx:", ptr+i);
+
+        printk("%02x ", opcode[i]);
+    }
+
+    printk("\n");
 }
 
 
@@ -2363,7 +2363,7 @@ void svm_dump_regs(const char *from, str
     struct vmcb_struct *vmcb = v->arch.hvm_svm.vmcb;
     unsigned long pt = v->arch.hvm_vcpu.hw_cr3;
 
-    printf("%s: guest registers from %s:\n", __func__, from);
+    printk("%s: guest registers from %s:\n", __func__, from);
 #if defined (__x86_64__)
     printk("rax: %016lx   rbx: %016lx   rcx: %016lx\n",
            regs->rax, regs->rbx, regs->rcx);
@@ -2378,15 +2378,15 @@ void svm_dump_regs(const char *from, str
     printk("r15: %016lx   cr0: %016lx   cr3: %016lx\n",
            regs->r15, v->arch.hvm_svm.cpu_shadow_cr0, vmcb->cr3);
 #else
-    printf("eax: %08x, ebx: %08x, ecx: %08x, edx: %08x\n", 
+    printk("eax: %08x, ebx: %08x, ecx: %08x, edx: %08x\n", 
            regs->eax, regs->ebx, regs->ecx, regs->edx);
-    printf("edi: %08x, esi: %08x, ebp: %08x, esp: %08x\n", 
+    printk("edi: %08x, esi: %08x, ebp: %08x, esp: %08x\n", 
            regs->edi, regs->esi, regs->ebp, regs->esp);
-    printf("%s: guest cr0: %lx\n", __func__, 
+    printk("%s: guest cr0: %lx\n", __func__, 
            v->arch.hvm_svm.cpu_shadow_cr0);
-    printf("guest CR3 = %llx\n", vmcb->cr3);
+    printk("guest CR3 = %llx\n", vmcb->cr3);
 #endif
-    printf("%s: pt = %lx\n", __func__, pt);
+    printk("%s: pt = %lx\n", __func__, pt);
 }
 
 
@@ -2395,12 +2395,12 @@ void svm_dump_host_regs(const char *from
     struct vcpu *v = current;
     unsigned long pt = pt = pagetable_get_paddr(v->arch.monitor_table);
     unsigned long cr3, cr0;
-    printf("Host registers at %s\n", from);
+    printk("Host registers at %s\n", from);
 
     __asm__ __volatile__ ("\tmov %%cr0,%0\n"
                           "\tmov %%cr3,%1\n"
                           : "=r" (cr0), "=r"(cr3));
-    printf("%s: pt = %lx, cr3 = %lx, cr0 = %lx\n", __func__, pt, cr3, cr0);
+    printk("%s: pt = %lx, cr3 = %lx, cr0 = %lx\n", __func__, pt, cr3, cr0);
 }
 
 #ifdef SVM_EXTRA_DEBUG
diff -r f5d179bcad70 -r 29b02d929b7e xen/arch/x86/hvm/svm/vmcb.c
--- a/xen/arch/x86/hvm/svm/vmcb.c       Mon Oct 23 14:19:14 2006 +0100
+++ b/xen/arch/x86/hvm/svm/vmcb.c       Mon Oct 23 14:42:52 2006 +0100
@@ -408,7 +408,7 @@ void svm_do_launch(struct vcpu *v)
 
 static void svm_dump_sel(char *name, segment_selector_t *s)
 {
-    printf("%s: sel=0x%04x, attr=0x%04x, limit=0x%08x, base=0x%016llx\n", 
+    printk("%s: sel=0x%04x, attr=0x%04x, limit=0x%08x, base=0x%016llx\n", 
            name, s->sel, s->attributes.bytes, s->limit,
            (unsigned long long)s->base);
 }
@@ -416,50 +416,50 @@ static void svm_dump_sel(char *name, seg
 
 void svm_dump_vmcb(const char *from, struct vmcb_struct *vmcb)
 {
-    printf("Dumping guest's current state at %s...\n", from);
-    printf("Size of VMCB = %d, address = %p\n", 
+    printk("Dumping guest's current state at %s...\n", from);
+    printk("Size of VMCB = %d, address = %p\n", 
             (int) sizeof(struct vmcb_struct), vmcb);
 
-    printf("cr_intercepts = 0x%08x dr_intercepts = 0x%08x "
+    printk("cr_intercepts = 0x%08x dr_intercepts = 0x%08x "
            "exception_intercepts = 0x%08x\n", 
            vmcb->cr_intercepts, vmcb->dr_intercepts, 
            vmcb->exception_intercepts);
-    printf("general1_intercepts = 0x%08x general2_intercepts = 0x%08x\n", 
+    printk("general1_intercepts = 0x%08x general2_intercepts = 0x%08x\n", 
            vmcb->general1_intercepts, vmcb->general2_intercepts);
-    printf("iopm_base_pa = %016llx msrpm_base_pa = 0x%016llx tsc_offset = "
+    printk("iopm_base_pa = %016llx msrpm_base_pa = 0x%016llx tsc_offset = "
             "0x%016llx\n", 
            (unsigned long long) vmcb->iopm_base_pa,
            (unsigned long long) vmcb->msrpm_base_pa,
            (unsigned long long) vmcb->tsc_offset);
-    printf("tlb_control = 0x%08x vintr = 0x%016llx interrupt_shadow = "
+    printk("tlb_control = 0x%08x vintr = 0x%016llx interrupt_shadow = "
             "0x%016llx\n", vmcb->tlb_control,
            (unsigned long long) vmcb->vintr.bytes,
            (unsigned long long) vmcb->interrupt_shadow);
-    printf("exitcode = 0x%016llx exitintinfo = 0x%016llx\n", 
+    printk("exitcode = 0x%016llx exitintinfo = 0x%016llx\n", 
            (unsigned long long) vmcb->exitcode,
            (unsigned long long) vmcb->exitintinfo.bytes);
-    printf("exitinfo1 = 0x%016llx exitinfo2 = 0x%016llx \n",
+    printk("exitinfo1 = 0x%016llx exitinfo2 = 0x%016llx \n",
            (unsigned long long) vmcb->exitinfo1,
            (unsigned long long) vmcb->exitinfo2);
-    printf("np_enable = 0x%016llx guest_asid = 0x%03x\n", 
+    printk("np_enable = 0x%016llx guest_asid = 0x%03x\n", 
            (unsigned long long) vmcb->np_enable, vmcb->guest_asid);
-    printf("cpl = %d efer = 0x%016llx star = 0x%016llx lstar = 0x%016llx\n", 
+    printk("cpl = %d efer = 0x%016llx star = 0x%016llx lstar = 0x%016llx\n", 
            vmcb->cpl, (unsigned long long) vmcb->efer,
            (unsigned long long) vmcb->star, (unsigned long long) vmcb->lstar);
-    printf("CR0 = 0x%016llx CR2 = 0x%016llx\n",
+    printk("CR0 = 0x%016llx CR2 = 0x%016llx\n",
            (unsigned long long) vmcb->cr0, (unsigned long long) vmcb->cr2);
-    printf("CR3 = 0x%016llx CR4 = 0x%016llx\n", 
+    printk("CR3 = 0x%016llx CR4 = 0x%016llx\n", 
            (unsigned long long) vmcb->cr3, (unsigned long long) vmcb->cr4);
-    printf("RSP = 0x%016llx  RIP = 0x%016llx\n", 
+    printk("RSP = 0x%016llx  RIP = 0x%016llx\n", 
            (unsigned long long) vmcb->rsp, (unsigned long long) vmcb->rip);
-    printf("RAX = 0x%016llx  RFLAGS=0x%016llx\n",
+    printk("RAX = 0x%016llx  RFLAGS=0x%016llx\n",
            (unsigned long long) vmcb->rax, (unsigned long long) vmcb->rflags);
-    printf("DR6 = 0x%016llx, DR7 = 0x%016llx\n", 
+    printk("DR6 = 0x%016llx, DR7 = 0x%016llx\n", 
            (unsigned long long) vmcb->dr6, (unsigned long long) vmcb->dr7);
-    printf("CSTAR = 0x%016llx SFMask = 0x%016llx\n",
+    printk("CSTAR = 0x%016llx SFMask = 0x%016llx\n",
            (unsigned long long) vmcb->cstar, 
            (unsigned long long) vmcb->sfmask);
-    printf("KernGSBase = 0x%016llx PAT = 0x%016llx \n", 
+    printk("KernGSBase = 0x%016llx PAT = 0x%016llx \n", 
            (unsigned long long) vmcb->kerngsbase,
            (unsigned long long) vmcb->g_pat);
     
diff -r f5d179bcad70 -r 29b02d929b7e xen/arch/x86/hvm/vmx/vmx.c
--- a/xen/arch/x86/hvm/vmx/vmx.c        Mon Oct 23 14:19:14 2006 +0100
+++ b/xen/arch/x86/hvm/vmx/vmx.c        Mon Oct 23 14:42:52 2006 +0100
@@ -1087,7 +1087,7 @@ static int check_for_null_selector(unsig
     memset(inst, 0, MAX_INST_LEN);
     if ( inst_copy_from_guest(inst, eip, inst_len) != inst_len )
     {
-        printf("check_for_null_selector: get guest instruction failed\n");
+        printk("check_for_null_selector: get guest instruction failed\n");
         domain_crash_synchronous();
     }
 
@@ -1470,7 +1470,7 @@ static int vmx_assist(struct vcpu *v, in
     }
 
  error:
-    printf("Failed to transfer to vmxassist\n");
+    printk("Failed to transfer to vmxassist\n");
     domain_crash_synchronous();
     return 0;
 }
diff -r f5d179bcad70 -r 29b02d929b7e xen/arch/x86/setup.c
--- a/xen/arch/x86/setup.c      Mon Oct 23 14:19:14 2006 +0100
+++ b/xen/arch/x86/setup.c      Mon Oct 23 14:42:52 2006 +0100
@@ -296,7 +296,7 @@ void __init __start_xen(multiboot_info_t
 
     init_console();
 
-    printf("Command line: %s\n", cmdline);
+    printk("Command line: %s\n", cmdline);
 
     /* Check that we have at least one Multiboot module. */
     if ( !(mbi->flags & MBI_MODULES) || (mbi->mods_count == 0) )
diff -r f5d179bcad70 -r 29b02d929b7e xen/arch/x86/x86_32/entry.S
--- a/xen/arch/x86/x86_32/entry.S       Mon Oct 23 14:19:14 2006 +0100
+++ b/xen/arch/x86/x86_32/entry.S       Mon Oct 23 14:42:52 2006 +0100
@@ -398,7 +398,7 @@ domain_crash_synchronous_string:
 
 domain_crash_synchronous:
         pushl $domain_crash_synchronous_string
-        call  printf
+        call  printk
         jmp   __domain_crash_synchronous
 
         ALIGN
diff -r f5d179bcad70 -r 29b02d929b7e 
xen/arch/x86/x86_32/supervisor_mode_kernel.S
--- a/xen/arch/x86/x86_32/supervisor_mode_kernel.S      Mon Oct 23 14:19:14 
2006 +0100
+++ b/xen/arch/x86/x86_32/supervisor_mode_kernel.S      Mon Oct 23 14:42:52 
2006 +0100
@@ -141,5 +141,5 @@ domain_crash_synchronous_string:
 
 domain_crash_synchronous:
         pushl $domain_crash_synchronous_string
-        call  printf
+        call  printk
         jmp   __domain_crash_synchronous
diff -r f5d179bcad70 -r 29b02d929b7e xen/arch/x86/x86_64/entry.S
--- a/xen/arch/x86/x86_64/entry.S       Mon Oct 23 14:19:14 2006 +0100
+++ b/xen/arch/x86/x86_64/entry.S       Mon Oct 23 14:42:52 2006 +0100
@@ -328,7 +328,7 @@ domain_crash_synchronous:
         # printk(domain_crash_synchronous_string)
         leaq  domain_crash_synchronous_string(%rip),%rdi
         xorl  %eax,%eax
-        call  printf
+        call  printk
         jmp  __domain_crash_synchronous
 
         ALIGN
diff -r f5d179bcad70 -r 29b02d929b7e xen/common/sched_sedf.c
--- a/xen/common/sched_sedf.c   Mon Oct 23 14:19:14 2006 +0100
+++ b/xen/common/sched_sedf.c   Mon Oct 23 14:42:52 2006 +0100
@@ -1190,10 +1190,10 @@ static void sedf_dump_domain(struct vcpu
     
 #ifdef SEDF_STATS
     if ( EDOM_INFO(d)->block_time_tot != 0 )
-        printf(" pen=%"PRIu64"%%", (EDOM_INFO(d)->penalty_time_tot * 100) /
+        printk(" pen=%"PRIu64"%%", (EDOM_INFO(d)->penalty_time_tot * 100) /
                EDOM_INFO(d)->block_time_tot);
     if ( EDOM_INFO(d)->block_tot != 0 )
-        printf("\n   blks=%u sh=%u (%u%%) (shc=%u (%u%%) shex=%i "\
+        printk("\n   blks=%u sh=%u (%u%%) (shc=%u (%u%%) shex=%i "\
                "shexsl=%i) l=%u (%u%%) avg: b=%"PRIu64" p=%"PRIu64"",
                EDOM_INFO(d)->block_tot, EDOM_INFO(d)->short_block_tot,
                (EDOM_INFO(d)->short_block_tot * 100) 
@@ -1206,7 +1206,7 @@ static void sedf_dump_domain(struct vcpu
                (EDOM_INFO(d)->block_time_tot) / EDOM_INFO(d)->block_tot,
                (EDOM_INFO(d)->penalty_time_tot) / EDOM_INFO(d)->block_tot);
 #endif
-    printf("\n");
+    printk("\n");
 }
 
 
diff -r f5d179bcad70 -r 29b02d929b7e xen/drivers/char/console.c
--- a/xen/drivers/char/console.c        Mon Oct 23 14:19:14 2006 +0100
+++ b/xen/drivers/char/console.c        Mon Oct 23 14:42:52 2006 +0100
@@ -294,7 +294,7 @@ static inline void __putstr(const char *
     }
 }
 
-void printf(const char *fmt, ...)
+void printk(const char *fmt, ...)
 {
     static char   buf[1024];
     static int    start_of_line = 1;
diff -r f5d179bcad70 -r 29b02d929b7e xen/include/asm-ia64/config.h
--- a/xen/include/asm-ia64/config.h     Mon Oct 23 14:19:14 2006 +0100
+++ b/xen/include/asm-ia64/config.h     Mon Oct 23 14:42:52 2006 +0100
@@ -232,7 +232,7 @@ extern unsigned long loops_per_jiffy;
 extern unsigned long loops_per_jiffy;
 extern char saved_command_line[];
 struct screen_info { };
-#define seq_printf(a,b...) printf(b)
+#define seq_printf(a,b...) printk(b)
 //#define CONFIG_BLK_DEV_INITRD // needed to reserve memory for domain0
 
 #define CONFIG_SHADOW  1
diff -r f5d179bcad70 -r 29b02d929b7e xen/include/asm-ia64/vcpu.h
--- a/xen/include/asm-ia64/vcpu.h       Mon Oct 23 14:19:14 2006 +0100
+++ b/xen/include/asm-ia64/vcpu.h       Mon Oct 23 14:42:52 2006 +0100
@@ -200,7 +200,7 @@ vcpu_get_next_timer_ns(VCPU *vcpu)
     return vcpu_get_next_timer_ns;
 }
 
-#define verbose(a...) do {if (vcpu_verbose) printf(a);} while(0)
+#define verbose(a...) do {if (vcpu_verbose) printk(a);} while(0)
 
 //#define vcpu_quick_region_check(_tr_regions,_ifa) 1
 #define vcpu_quick_region_check(_tr_regions,_ifa)           \
diff -r f5d179bcad70 -r 29b02d929b7e xen/include/xen/lib.h
--- a/xen/include/xen/lib.h     Mon Oct 23 14:19:14 2006 +0100
+++ b/xen/include/xen/lib.h     Mon Oct 23 14:42:52 2006 +0100
@@ -51,8 +51,7 @@ extern void debugtrace_printk(const char
 
 /* Allows us to use '%p' as general-purpose machine-word format char. */
 #define _p(_x) ((void *)(unsigned long)(_x))
-#define printk(_f , _a...) printf( _f , ## _a )
-extern void printf(const char *format, ...)
+extern void printk(const char *format, ...)
     __attribute__ ((format (printf, 1, 2)));
 extern void panic(const char *format, ...)
     __attribute__ ((format (printf, 1, 2)));

_______________________________________________
Xen-changelog mailing list
Xen-changelog@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-changelog

<Prev in Thread] Current Thread [Next in Thread>
  • [Xen-changelog] [xen-unstable] [XEN] Remove definition of printf. All users are switched to printk., Xen patchbot-unstable <=