KGDBADDR          294 arch/i386/i386/machdep.c #ifndef KGDBADDR
KGDBADDR          297 arch/i386/i386/machdep.c int comkgdbaddr = KGDBADDR;