Searched refs:maskebx (Results 1 – 1 of 1) sorted by relevance
219 unsigned int maskebx = ~0; in xen_cpuid() local230 maskebx = 0x00ffffff; in xen_cpuid()244 maskebx = 0; in xen_cpuid()255 *bx &= maskebx; in xen_cpuid()