28c28
< __FBSDID("$FreeBSD: head/gnu/usr.bin/gdb/kgdb/trgt_powerpc.c 234739 2012-04-27 20:16:20Z marcel $");
---
> __FBSDID("$FreeBSD: head/gnu/usr.bin/gdb/kgdb/trgt_powerpc.c 246893 2013-02-17 02:15:19Z marcel $");
51a52,57
> CORE_ADDR
> kgdb_trgt_core_pcb(u_int cpuid)
> {
> return (kgdb_trgt_stop_pcb(cpuid, sizeof(struct pcb)));
> }
>