direct-io.hg

changeset 8421:ff81b875b136

Certain faults should not be reflected if caused with priv=0
Signed-off-by Kevin Tian <kevin.tian@intel.com>
author djm@kirby.fc.hp.com
date Wed Dec 21 08:36:03 2005 -0600 (2005-12-21)
parents 72f51528d55a
children 97d70c793b67
files xen/arch/ia64/xen/process.c
line diff
     1.1 --- a/xen/arch/ia64/xen/process.c	Wed Dec 21 08:27:09 2005 -0600
     1.2 +++ b/xen/arch/ia64/xen/process.c	Wed Dec 21 08:36:03 2005 -0600
     1.3 @@ -715,9 +715,9 @@ ia64_handle_reflection (unsigned long if
     1.4  	unsigned long check_lazy_cover = 0;
     1.5  	unsigned long psr = regs->cr_ipsr;
     1.6  
     1.7 -	if (!(psr & IA64_PSR_CPL)) {
     1.8 -		printk("ia64_handle_reflection: reflecting with priv=0!!\n");
     1.9 -	}
    1.10 +	/* Following faults shouldn'g be seen from Xen itself */
    1.11 +	if (!(psr & IA64_PSR_CPL)) BUG();
    1.12 +
    1.13  	switch(vector) {
    1.14  	    case 8:
    1.15  		vector = IA64_DIRTY_BIT_VECTOR; break;