Searched refs:cpu_data_entry_t (Results 1 – 4 of 4) sorted by relevance
79 } cpu_data_entry_t; typedef263 extern cpu_data_entry_t CpuDataEntries[MAX_CPUS];
64 cpu_data_entry_t CpuDataEntries[MAX_CPUS];
299 cpu_data_entry_t *cpuentryp = *iter; in kern_collectth_state()
920 flush_dcache((vm_offset_t)&CpuDataEntries[cpu], sizeof(cpu_data_entry_t), FALSE); in cpu_start()