taglinefilesource code
KERN_ALERT98kernel/exit.cprintk(KERN_ALERT "release: %s kernel stack corruption. Aiee\n", p->comm);
KERN_ALERT1015mm/memory.cprintk(KERN_ALERT "Unable to handle kernel NULL pointer dereference");
KERN_ALERT1018mm/memory.cprintk(KERN_ALERT "Unable to handle kernel paging request");
KERN_ALERT1021mm/memory.cprintk(KERN_ALERT "current->tss.cr3 = %08lx, %%cr3 = %08lx\n",
KERN_ALERT1024mm/memory.cprintk(KERN_ALERT "*pde = %08lx\n", page);
KERN_ALERT1029mm/memory.cprintk(KERN_ALERT "*pte = %08lx\n", page);