Searched refs:maskebx (Results 1 – 1 of 1) sorted by relevance
218 unsigned int maskebx = ~0; in xen_cpuid() local229 maskebx = 0x00ffffff; in xen_cpuid()243 maskebx = 0; in xen_cpuid()254 *bx &= maskebx; in xen_cpuid()