29 static __always_inline void __monitor(const void *eax, unsigned long ecx,  in __monitor()  argument
34 		     :: "a" (eax), "c" (ecx), "d"(edx));  in __monitor()
37 static __always_inline void __monitorx(const void *eax, unsigned long ecx,  in __monitorx()  argument
42 		     :: "a" (eax), "c" (ecx), "d"(edx));  in __monitorx()
45 static __always_inline void __mwait(unsigned long eax, unsigned long ecx)  in __mwait()  argument
51 		     :: "a" (eax), "c" (ecx));  in __mwait()
80 static __always_inline void __mwaitx(unsigned long eax, unsigned long ebx,  in __mwaitx()  argument
87 		     :: "a" (eax), "b" (ebx), "c" (ecx));  in __mwaitx()
90 static __always_inline void __sti_mwait(unsigned long eax, unsigned long ecx)  in __sti_mwait()  argument
95 		     :: "a" (eax), "c" (ecx));  in __sti_mwait()
108 static __always_inline void mwait_idle_with_hints(unsigned long eax, unsigned long ecx)  in mwait_idle_with_hints()  argument
119 			__mwait(eax, ecx);  in mwait_idle_with_hints()
130 static inline void __tpause(u32 ecx, u32 edx, u32 eax)  in __tpause()  argument
136 		     : "c"(ecx), "d"(edx), "a"(eax));  in __tpause()
140 		     : "c"(ecx), "d"(edx), "a"(eax));  in __tpause()