tag	line	file	source code
pcibios_write_config_dword	42	include/linux/bios32.h	extern pcibios_write_config_dword (unsigned char bus,
pcibios_write_config_dword	157	include/linux/pci.h	extern pcibios_write_config_dword (unsigned char bus,