775 		int cs, bootbus;  in octeon_prune_device_tree()  local
796 		for (cs = 0; cs < 8; cs++) {  in octeon_prune_device_tree()
797 			mio_boot_reg_cfg.u64 = cvmx_read_csr(CVMX_MIO_BOOT_REG_CFGX(cs));  in octeon_prune_device_tree()
806 		if (cs >= 7) {  in octeon_prune_device_tree()
820 				cvmx_read_csr(CVMX_MIO_BOOT_REG_CFGX(cs + 1));  in octeon_prune_device_tree()
836 		new_reg[0] = cpu_to_be32(cs);  in octeon_prune_device_tree()
839 		new_reg[3] = cpu_to_be32(cs + 1);  in octeon_prune_device_tree()
852 		ranges[(cs * 5) + 2] = cpu_to_be32(region_base >> 32);  in octeon_prune_device_tree()
853 		ranges[(cs * 5) + 3] = cpu_to_be32(region_base & 0xffffffff);  in octeon_prune_device_tree()
854 		ranges[(cs * 5) + 4] = cpu_to_be32(region_size);  in octeon_prune_device_tree()
856 			cs++;  in octeon_prune_device_tree()
857 			ranges[(cs * 5) + 2] = cpu_to_be32(region1_base >> 32);  in octeon_prune_device_tree()
858 			ranges[(cs * 5) + 3] = cpu_to_be32(region1_base & 0xffffffff);  in octeon_prune_device_tree()
859 			ranges[(cs * 5) + 4] = cpu_to_be32(region1_size);  in octeon_prune_device_tree()
875 		int cs, bootbus;  in octeon_prune_device_tree()  local
885 		for (cs = 0; cs < 8; cs++) {  in octeon_prune_device_tree()
886 			mio_boot_reg_cfg.u64 = cvmx_read_csr(CVMX_MIO_BOOT_REG_CFGX(cs));  in octeon_prune_device_tree()
894 		if (cs > 7)  in octeon_prune_device_tree()
897 		new_reg[0] = cpu_to_be32(cs);  in octeon_prune_device_tree()
900 		new_reg[3] = cpu_to_be32(cs);  in octeon_prune_device_tree()
913 		ranges[(cs * 5) + 2] = cpu_to_be32(region_base >> 32);  in octeon_prune_device_tree()
914 		ranges[(cs * 5) + 3] = cpu_to_be32(region_base & 0xffffffff);  in octeon_prune_device_tree()
915 		ranges[(cs * 5) + 4] = cpu_to_be32(region_size);  in octeon_prune_device_tree()