add: TRACE(("pci_module_init()\n"));
context: static void pci_module_init(void){	struct pir_table *pirt = NULL;		if (set_pci_mechanism() == -1) {		return;	}		check_pci();	pci_region = vm_map_physical_memory(vm_get_kernel_aspace_id(),	                                    "pci_bios", &pci_bios_ptr,	                                    REGION_ADDR_ANY_ADDRESS,	                                    0x10000,	                                    LOCK_RO | LOCK_KERNEL,	                                    (addr)0xf0000);		pirt = find_pir_table();	if (pirt) {		dprintf("PCI IRQ Routing table found\n");#if THE_FULL_MONTY		print_pir_table(pirt);#endif	}		pci_scan_bus(0);}