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