ia64/xen-unstable

changeset 13960:779d21cf58e7

[IA64] Quiet VTi domain bootup

Xen shouldn't be printing anything to the console at a visible
log level for normal startup.

Signed-off-by: Alex Williamson <alex.williamson@hp.com>
author awilliam@xenbuild2.aw
date Sun Feb 18 15:53:12 2007 -0700 (2007-02-18)
parents 3fa7489f87bb
children 5ad7d9b466ee
files xen/arch/ia64/vmx/vlsapic.c xen/arch/ia64/vmx/vmmu.c xen/arch/ia64/vmx/vmx_init.c
line diff
     1.1 --- a/xen/arch/ia64/vmx/vlsapic.c	Fri Feb 16 16:47:24 2007 -0700
     1.2 +++ b/xen/arch/ia64/vmx/vlsapic.c	Sun Feb 18 15:53:12 2007 -0700
     1.3 @@ -691,7 +691,7 @@ static void vlsapic_write_ipi(VCPU *vcpu
     1.4  
     1.5          if (test_and_clear_bit(_VCPUF_down,&targ->vcpu_flags)) {
     1.6              vcpu_wake(targ);
     1.7 -            printk("arch_boot_vcpu: vcpu %d awaken %016lx!\n",
     1.8 +            printk(XENLOG_DEBUG "arch_boot_vcpu: vcpu %d awaken %016lx!\n",
     1.9                     targ->vcpu_id, targ_regs->cr_iip);
    1.10          } else {
    1.11              printk("arch_boot_vcpu: huh, already awake!");
     2.1 --- a/xen/arch/ia64/vmx/vmmu.c	Fri Feb 16 16:47:24 2007 -0700
     2.2 +++ b/xen/arch/ia64/vmx/vmmu.c	Sun Feb 18 15:53:12 2007 -0700
     2.3 @@ -141,7 +141,7 @@ static int init_domain_vhpt(struct vcpu 
     2.4      }
     2.5      vbase = page_to_virt(page);
     2.6      memset(vbase, 0, VCPU_VHPT_SIZE);
     2.7 -    printk("Allocate domain vhpt at 0x%p\n", vbase);
     2.8 +    printk(XENLOG_DEBUG "Allocate domain vhpt at 0x%p\n", vbase);
     2.9      
    2.10      VHPT(v,hash) = vbase;
    2.11      VHPT(v,hash_sz) = VCPU_VHPT_SIZE/2;
    2.12 @@ -182,7 +182,7 @@ int init_domain_tlb(struct vcpu *v)
    2.13      }
    2.14      vbase = page_to_virt(page);
    2.15      memset(vbase, 0, VCPU_VTLB_SIZE);
    2.16 -    printk("Allocate domain vtlb at 0x%p\n", vbase);
    2.17 +    printk(XENLOG_DEBUG "Allocate domain vtlb at 0x%p\n", vbase);
    2.18      
    2.19      VTLB(v,hash) = vbase;
    2.20      VTLB(v,hash_sz) = VCPU_VTLB_SIZE/2;
     3.1 --- a/xen/arch/ia64/vmx/vmx_init.c	Fri Feb 16 16:47:24 2007 -0700
     3.2 +++ b/xen/arch/ia64/vmx/vmx_init.c	Sun Feb 18 15:53:12 2007 -0700
     3.3 @@ -162,7 +162,8 @@ static vpd_t *alloc_vpd(void)
     3.4  		return NULL;
     3.5  	}
     3.6  
     3.7 -	printk("vpd base: 0x%p, vpd size:%ld\n", vpd, sizeof(vpd_t));
     3.8 +	printk(XENLOG_DEBUG "vpd base: 0x%p, vpd size:%ld\n",
     3.9 +	       vpd, sizeof(vpd_t));
    3.10  	memset(vpd, 0, VPD_SIZE);
    3.11  	mregs = &vpd->vpd_low;
    3.12  
    3.13 @@ -207,7 +208,7 @@ vmx_create_vp(struct vcpu *v)
    3.14  	extern char vmx_ia64_ivt;
    3.15  	/* ia64_ivt is function pointer, so need this tranlation */
    3.16  	ivt_base = (u64) &vmx_ia64_ivt;
    3.17 -	printk("ivt_base: 0x%lx\n", ivt_base);
    3.18 +	printk(XENLOG_DEBUG "ivt_base: 0x%lx\n", ivt_base);
    3.19  	ret = ia64_pal_vp_create((u64 *)vpd, (u64 *)ivt_base, 0);
    3.20  	if (ret != PAL_STATUS_SUCCESS){
    3.21  		panic_domain(vcpu_regs(v),"ia64_pal_vp_create failed. \n");