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