28c28
< __FBSDID("$FreeBSD: head/gnu/usr.bin/gdb/kgdb/trgt.c 178713 2008-05-01 20:36:48Z jhb $");
---
> __FBSDID("$FreeBSD: head/gnu/usr.bin/gdb/kgdb/trgt.c 246893 2013-02-17 02:15:19Z marcel $");
55a56,57
> static CORE_ADDR stoppcbs;
>
354a357,371
>
> CORE_ADDR
> kgdb_trgt_stop_pcb(u_int cpuid, u_int pcbsz)
> {
> static int once = 0;
>
> if (stoppcbs == 0 && !once) {
> once = 1;
> stoppcbs = kgdb_lookup("stoppcbs");
> }
> if (stoppcbs == 0)
> return 0;
>
> return (stoppcbs + pcbsz * cpuid);
> }