Symbol: md_get_pc
sys/arch/usermode/include/machdep.h
38
register_t md_get_pc(ucontext_t *ucp);
sys/arch/usermode/usermode/trap.c
327
pc = md_get_pc(ctx);
sys/arch/usermode/usermode/trap.c
572
ksi.ksi_addr = (void *) md_get_pc(ucp); /* only reliable source */
sys/arch/usermode/usermode/trap.c
602
ksi.ksi_addr = (void *) md_get_pc(ucp); /* only reliable source */