|
@@ -261,7 +261,7 @@ static inline void report_user_fault(struct pt_regs *regs, long signr)
|
|
|
return;
|
|
|
if (!printk_ratelimit())
|
|
|
return;
|
|
|
- printk(KERN_ALERT "User process fault: interruption code %04x ilc:%d",
|
|
|
+ printk(KERN_ALERT "User process fault: interruption code %04x ilc:%d ",
|
|
|
regs->int_code & 0xffff, regs->int_code >> 17);
|
|
|
print_vma_addr(KERN_CONT "in ", regs->psw.addr & PSW_ADDR_INSN);
|
|
|
printk(KERN_CONT "\n");
|