Searched refs:cr4_toggle_bits_irqsoff (Results 1 – 2 of 2) sorted by relevance
326 static inline void cr4_toggle_bits_irqsoff(unsigned long mask) in cr4_toggle_bits_irqsoff() function
449 cr4_toggle_bits_irqsoff(X86_CR4_TSD); in __switch_to_xtra()
