Lines Matching defs:cpu
21 #include <cpu.h>
196 cpu_ent *cpu = get_cpu_struct();
197 if (cpu->invoke_scheduler)
200 x86_monitor((void *)&cpu->invoke_scheduler, 0, 0);
201 if (!cpu->invoke_scheduler)
209 cpu_ent *cpu = get_cpu_struct();
210 if (cpu->invoke_scheduler)
350 cpu_ent *cpu = get_cpu_struct();
351 if ((cpu->arch.vendor == VENDOR_INTEL) &&
373 cpu_ent *cpu = get_cpu_struct();
375 uint32 model = (cpu->arch.extended_model << 4) + cpu->arch.model;
378 if (cpu->arch.vendor != VENDOR_INTEL)
380 if (cpu->arch.family > 0xf || (cpu->arch.family == 6 && model >= 0xf))
476 dprintf("acpi cpu%" B_PRId32 ": P_BLK at %#x/%lu\n",
521 // check whether it's really a cpu Device