Searched refs:cpu_data_entry_t (Results 1 – 5 of 5) sorted by relevance
80 } cpu_data_entry_t; typedef295 extern cpu_data_entry_t CpuDataEntries[MAX_CPUS];
64 cpu_data_entry_t CpuDataEntries[MAX_CPUS];
300 cpu_data_entry_t *cpuentryp = *iter; in kern_collectth_state()
338 DECLARE("CPU_DATA_SIZE", sizeof(cpu_data_entry_t)); in main()
908 flush_dcache((vm_offset_t)&CpuDataEntries[cpu], sizeof(cpu_data_entry_t), FALSE); in cpu_start()