Searched refs:cr4_toggle_bits_irqsoff (Results 1 – 1 of 1) sorted by relevance
641 static inline void cr4_toggle_bits_irqsoff(unsigned long mask) in cr4_toggle_bits_irqsoff() function675 cr4_toggle_bits_irqsoff(X86_CR4_TSD); in __switch_to_xtra()