28c28
< __FBSDID("$FreeBSD: head/gnu/usr.bin/gdb/kgdb/trgt_amd64.c 230427 2012-01-21 17:50:14Z kib $");
---
> __FBSDID("$FreeBSD: head/gnu/usr.bin/gdb/kgdb/trgt_amd64.c 246893 2013-02-17 02:15:19Z marcel $");
46a47,52
> CORE_ADDR
> kgdb_trgt_core_pcb(u_int cpuid)
> {
> return (kgdb_trgt_stop_pcb(cpuid, sizeof(struct pcb)));
> }
>