931 		int cs, bootbus;  in octeon_prune_device_tree()  local
953 		for (cs = 0; cs < 8; cs++) {  in octeon_prune_device_tree()
954 			mio_boot_reg_cfg.u64 = cvmx_read_csr(CVMX_MIO_BOOT_REG_CFGX(cs));  in octeon_prune_device_tree()
963 		if (cs >= 7) {  in octeon_prune_device_tree()
977 				cvmx_read_csr(CVMX_MIO_BOOT_REG_CFGX(cs + 1));  in octeon_prune_device_tree()
994 		new_reg[0] = cpu_to_be32(cs);  in octeon_prune_device_tree()
997 		new_reg[3] = cpu_to_be32(cs + 1);  in octeon_prune_device_tree()
1010 		ranges[(cs * 5) + 2] = cpu_to_be32(region_base >> 32);  in octeon_prune_device_tree()
1011 		ranges[(cs * 5) + 3] = cpu_to_be32(region_base & 0xffffffff);  in octeon_prune_device_tree()
1012 		ranges[(cs * 5) + 4] = cpu_to_be32(region_size);  in octeon_prune_device_tree()
1014 			cs++;  in octeon_prune_device_tree()
1015 			ranges[(cs * 5) + 2] = cpu_to_be32(region1_base >> 32);  in octeon_prune_device_tree()
1016 			ranges[(cs * 5) + 3] = cpu_to_be32(region1_base & 0xffffffff);  in octeon_prune_device_tree()
1017 			ranges[(cs * 5) + 4] = cpu_to_be32(region1_size);  in octeon_prune_device_tree()
1033 		int cs, bootbus;  in octeon_prune_device_tree()  local
1043 		for (cs = 0; cs < 8; cs++) {  in octeon_prune_device_tree()
1044 			mio_boot_reg_cfg.u64 = cvmx_read_csr(CVMX_MIO_BOOT_REG_CFGX(cs));  in octeon_prune_device_tree()
1052 		if (cs > 7)  in octeon_prune_device_tree()
1055 		new_reg[0] = cpu_to_be32(cs);  in octeon_prune_device_tree()
1058 		new_reg[3] = cpu_to_be32(cs);  in octeon_prune_device_tree()
1071 		ranges[(cs * 5) + 2] = cpu_to_be32(region_base >> 32);  in octeon_prune_device_tree()
1072 		ranges[(cs * 5) + 3] = cpu_to_be32(region_base & 0xffffffff);  in octeon_prune_device_tree()
1073 		ranges[(cs * 5) + 4] = cpu_to_be32(region_size);  in octeon_prune_device_tree()