Lines Matching defs:cpu
118 /* Current ASID generation for each host cpu */
240 int error, cpu;
251 for (cpu = 0; cpu < MAXCPU; cpu++) {
258 asid[cpu].gen = ~0UL;
259 asid[cpu].num = nasid - 1;
1584 * Inject event to virtual cpu.
1792 "active on cpu %u", __func__, thiscpu));
1801 * 1. The vcpu's ASID generation is different than the host cpu's
1803 * host cpu. It can also happen when the number of vcpus executing
1804 * on a host cpu is greater than the number of ASIDs available.
1820 * (b1) If the cpu supports FlushByAsid then the vcpu's ASID is
1824 * (b2) If the cpu does not support FlushByAsid then a new ASID is
1858 * If this cpu does not support "flush-by-asid"
1872 * If this cpu supports "flush-by-asid" then the TLB
2043 /* We are asked to give the cpu by scheduler. */