DBG_FAULT          74 arch/ia64/kernel/ivt.S # define DBG_FAULT(i)	mov r16=ar.k2;;	shl r16=r16,8;;	add r16=(i),r16;;mov ar.k2=r16
DBG_FAULT          76 arch/ia64/kernel/ivt.S # define DBG_FAULT(i)