write_cr3         132 arch/x86/include/asm/paravirt.h static inline void write_cr3(unsigned long x)
write_cr3         172 arch/x86/include/asm/special_insns.h static inline void write_cr3(unsigned long x)