28c28
< __FBSDID("$FreeBSD: head/gnu/usr.bin/gdb/kgdb/trgt_i386.c 210852 2010-08-04 21:02:04Z jhb $");
---
> __FBSDID("$FreeBSD: head/gnu/usr.bin/gdb/kgdb/trgt_i386.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)));
> }
>