__write_cr4       137 arch/x86/include/asm/paravirt.h static inline void __write_cr4(unsigned long x)
__write_cr4       177 arch/x86/include/asm/special_insns.h static inline void __write_cr4(unsigned long x)