28 	u64 *table = get_spin_tbl_addr();  in update_os_arch_secondary_cores()  local
33 			table[i * WORDS_PER_SPIN_TABLE_ENTRY +  in update_os_arch_secondary_cores()
36 			table[i * WORDS_PER_SPIN_TABLE_ENTRY +  in update_os_arch_secondary_cores()
79 	u64 *table = get_spin_tbl_addr();  in fsl_layerscape_wake_seconday_cores()  local
89 	/* Clear spin table so that secondary processors  in fsl_layerscape_wake_seconday_cores()
92 	memset(table, 0, CONFIG_MAX_CPUS*SPIN_TABLE_ELEM_SIZE);  in fsl_layerscape_wake_seconday_cores()
93 	flush_dcache_range((unsigned long)table,  in fsl_layerscape_wake_seconday_cores()
94 			   (unsigned long)table +  in fsl_layerscape_wake_seconday_cores()
155 		flush_dcache_range((unsigned long)table, (unsigned long)table +  in fsl_layerscape_wake_seconday_cores()
158 			if (table[i * WORDS_PER_SPIN_TABLE_ENTRY +  in fsl_layerscape_wake_seconday_cores()
188 	u64 *table;  in is_core_online()  local
190 	table = (u64 *)get_spin_tbl_addr() + pos * WORDS_PER_SPIN_TABLE_ENTRY;  in is_core_online()
191 	return table[SPIN_TABLE_ELEM_STATUS_IDX] == 1;  in is_core_online()
236 	u64 *table;  in cpu_status()  local
240 		table = (u64 *)get_spin_tbl_addr();  in cpu_status()
241 		printf("table base @ 0x%p\n", table);  in cpu_status()
246 		table = (u64 *)get_spin_tbl_addr() + pos *  in cpu_status()
248 		printf("table @ 0x%p\n", table);  in cpu_status()
250 		       table[SPIN_TABLE_ELEM_ENTRY_ADDR_IDX]);  in cpu_status()
252 		       table[SPIN_TABLE_ELEM_STATUS_IDX]);  in cpu_status()
254 		       table[SPIN_TABLE_ELEM_LPID_IDX]);  in cpu_status()
263 	u64 *table = (u64 *)get_spin_tbl_addr();  in cpu_release()  local
270 	table += pos * WORDS_PER_SPIN_TABLE_ENTRY;  in cpu_release()
272 	table[SPIN_TABLE_ELEM_ENTRY_ADDR_IDX] = boot_addr;  in cpu_release()
273 	flush_dcache_range((unsigned long)table,  in cpu_release()
274 			   (unsigned long)table + SPIN_TABLE_ELEM_SIZE);  in cpu_release()