Searched refs:maskebx (Results 1 – 1 of 1) sorted by relevance
258 unsigned int maskebx = ~0; in xen_cpuid() local269 maskebx = 0x00ffffff; in xen_cpuid()283 maskebx = 0; in xen_cpuid()294 *bx &= maskebx; in xen_cpuid()