db3323c9ef
Change `#if DEBUG' to `#ifdef DEBUG'. Read some symbols from the kernel only once.
Change `#if DEBUG' to `#ifdef DEBUG'. Read some symbols from the kernel only once.