v3_unmap_bus      417 drivers/pci/controller/pci-v3-semi.c 	v3_unmap_bus(v3);
v3_unmap_bus      431 drivers/pci/controller/pci-v3-semi.c 	v3_unmap_bus(v3);