tag	line	file	source code
CONFIG_PCI	49	kernel/bios32.c	#define CONFIG_PCI
CONFIG_PCI	51	kernel/bios32.c	#undef CONFIG_PCI