Searched refs:maskebx (Results 1 – 1 of 1) sorted by relevance
257 unsigned int maskebx = ~0; in xen_cpuid() local268 maskebx = 0x00ffffff; in xen_cpuid()282 maskebx = 0; in xen_cpuid()293 *bx &= maskebx; in xen_cpuid()