global_phb_number   42 arch/microblaze/pci/pci-common.c static int global_phb_number;		/* Global phb counter */
global_phb_number   60 arch/microblaze/pci/pci-common.c 	phb->global_number = global_phb_number++;