Searched refs:or_ebx (Results 1 – 1 of 1) sorted by relevance
219 unsigned int or_ebx = 0; in xen_cpuid() local230 or_ebx = smp_processor_id() << 24; in xen_cpuid()255 *bx |= or_ebx; in xen_cpuid()