__cr4_set 299 arch/x86/include/asm/tlbflush.h __cr4_set(cr4 | mask); __cr4_set 309 arch/x86/include/asm/tlbflush.h __cr4_set(cr4 & ~mask); __cr4_set 337 arch/x86/include/asm/tlbflush.h __cr4_set(cr4 ^ mask);