tag
line
file
source code
thread_saved_pc
832
kernel/sched.c
printk(" %08lX ", thread_saved_pc(&p->tss));
thread_saved_pc
837
kernel/sched.c
printk(" %016lx ", thread_saved_pc(&p->tss));