__asm__("movl %%cr4,%%eax\n\t" "andl %0,%%eax\n\t" "movl %%eax,%%cr4\n" : : "irg" (~mask) :"ax"); 
cr4 = read_cr4(); cr4 &= ~mask; write_cr4(cr4); 
static inline void clear_in_cr4 (unsigned long mask){	mmu_cr4_features &= ~mask;	__asm__("movl %%cr4,%%eax\n\t"		"andl %0,%%eax\n\t"		"movl %%eax,%%cr4\n"		: : "irg" (~mask)		:"ax");}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/4bb0d3ec3e5b1e9e2399cdc641b3b6521ac9cdaa/processor.h/buggy/include/asm-i386/processor.h