29 	u64 *table = get_spin_tbl_addr();  in update_os_arch_secondary_cores()  local
34 			table[i * WORDS_PER_SPIN_TABLE_ENTRY +  in update_os_arch_secondary_cores()
37 			table[i * WORDS_PER_SPIN_TABLE_ENTRY +  in update_os_arch_secondary_cores()
80 	u64 *table = get_spin_tbl_addr();  in fsl_layerscape_wake_seconday_cores()  local
93 	memset(table, 0, CONFIG_MAX_CPUS*SPIN_TABLE_ELEM_SIZE);  in fsl_layerscape_wake_seconday_cores()
94 	flush_dcache_range((unsigned long)table,  in fsl_layerscape_wake_seconday_cores()
95 			   (unsigned long)table +  in fsl_layerscape_wake_seconday_cores()
156 		flush_dcache_range((unsigned long)table, (unsigned long)table +  in fsl_layerscape_wake_seconday_cores()
159 			if (table[i * WORDS_PER_SPIN_TABLE_ENTRY +  in fsl_layerscape_wake_seconday_cores()
189 	u64 *table;  in is_core_online()  local
191 	table = (u64 *)get_spin_tbl_addr() + pos * WORDS_PER_SPIN_TABLE_ENTRY;  in is_core_online()
192 	return table[SPIN_TABLE_ELEM_STATUS_IDX] == 1;  in is_core_online()
237 	u64 *table;  in cpu_status()  local
241 		table = (u64 *)get_spin_tbl_addr();  in cpu_status()
242 		printf("table base @ 0x%p\n", table);  in cpu_status()
247 		table = (u64 *)get_spin_tbl_addr() + pos *  in cpu_status()
249 		printf("table @ 0x%p\n", table);  in cpu_status()
251 		       table[SPIN_TABLE_ELEM_ENTRY_ADDR_IDX]);  in cpu_status()
253 		       table[SPIN_TABLE_ELEM_STATUS_IDX]);  in cpu_status()
255 		       table[SPIN_TABLE_ELEM_LPID_IDX]);  in cpu_status()
264 	u64 *table = (u64 *)get_spin_tbl_addr();  in cpu_release()  local
271 	table += pos * WORDS_PER_SPIN_TABLE_ENTRY;  in cpu_release()
273 	table[SPIN_TABLE_ELEM_ENTRY_ADDR_IDX] = boot_addr;  in cpu_release()
274 	flush_dcache_range((unsigned long)table,  in cpu_release()
275 			   (unsigned long)table + SPIN_TABLE_ELEM_SIZE);  in cpu_release()