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 ??)
Neil
neil.conway@ukaea.org.uk
PS: I haven't checked 2.1.108 for this.
-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.rutgers.edu