28c28
< __FBSDID("$FreeBSD: head/gnu/usr.bin/gdb/kgdb/trgt_i386.c 183414 2008-09-27 15:58:37Z kib $");
---
> __FBSDID("$FreeBSD: head/gnu/usr.bin/gdb/kgdb/trgt_i386.c 210852 2010-08-04 21:02:04Z jhb $");
139c139
< addr = kgdb_lookup("_gdt");
---
> addr = kgdb_lookup("gdt");
162,164c162,163
< addr = kgdb_lookup("_cpu0prvpage");
< if (addr == 0) {
< warnx("kvm_nlist(_cpu0prvpage): %s", kvm_geterr(kvm));
---
> addr = kgdb_lookup("cpu0prvpage");
> if (addr == 0)
166d164
< }