tag	line	file	source code
CONFIG_PCI	109	kernel/bios32.c	#ifdef CONFIG_PCI
CONFIG_PCI	461	kernel/bios32.c	#ifdef CONFIG_PCI