> Dunno how I never noticed the garbage character before, on the
> "Unable to handle kernel paging request" messages...
>
> The printk isn't working for some reason (dunno why though ;-). Here's
> the code snippet from do_page_fault():
>
> __asm__("movl %%cr3,%0" : "=r" (page));
> printk(KERN_ALERT "current->tss.cr3 = %08lx, %%cr3 = %08lx\n",
> tsk->tss.cr3, page);
>
> The %%cr3 bit should print >> %cr3 << to the screen, (unless I've
> really
> lost it), but it actually gets interpreted by some layer inside the
> printk()
> as a %c, which means that you get a random character being written
> instead.
>
> (Aside, I dunno why that doesn't bugger up the "page" value being
> printed
> out too, cos I thought printf() and the like advanced their pointers
> every
> time they used one of their arguments ??)
Hi,
The output to the screen prints correctly here. It's the one to syslog
that gets munged. I always got |r3 until I recompiled klogd (today)..
now with the new one I get 8r3.
-Mike
-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.rutgers.edu