Searched refs:cpu_data_entry_t (Results 1 – 5 of 5) sorted by relevance
90 } cpu_data_entry_t; typedef308 extern cpu_data_entry_t CpuDataEntries[MAX_CPUS];
432 flush_dcache((vm_offset_t)&CpuDataEntries[cpu], sizeof(cpu_data_entry_t), FALSE); in cpu_start()
63 cpu_data_entry_t CpuDataEntries[MAX_CPUS];
298 cpu_data_entry_t *cpuentryp = *iter; in kern_collectth_state()
934 flush_dcache((vm_offset_t)&CpuDataEntries[cpu], sizeof(cpu_data_entry_t), FALSE); in cpu_start()