taglinefilesource code
cr392include/linux/sched.hunsigned long  cr3;
cr395kernel/ptrace.cpage = tsk->tss.cr3 + ((addr >> 20) & 0xffc);
cr3124kernel/ptrace.cpage = tsk->tss.cr3 + ((addr >> 20) & 0xffc);