28 static inline void __monitor(const void *eax, unsigned long ecx,  in __monitor()  argument
33 		     :: "a" (eax), "c" (ecx), "d"(edx));  in __monitor()
36 static inline void __monitorx(const void *eax, unsigned long ecx,  in __monitorx()  argument
41 		     :: "a" (eax), "c" (ecx), "d"(edx));  in __monitorx()
44 static inline void __mwait(unsigned long eax, unsigned long ecx)  in __mwait()  argument
50 		     :: "a" (eax), "c" (ecx));  in __mwait()
79 static inline void __mwaitx(unsigned long eax, unsigned long ebx,  in __mwaitx()  argument
86 		     :: "a" (eax), "b" (ebx), "c" (ecx));  in __mwaitx()
89 static inline void __sti_mwait(unsigned long eax, unsigned long ecx)  in __sti_mwait()  argument
94 		     :: "a" (eax), "c" (ecx));  in __sti_mwait()
107 static inline void mwait_idle_with_hints(unsigned long eax, unsigned long ecx)  in mwait_idle_with_hints()  argument
118 			__mwait(eax, ecx);  in mwait_idle_with_hints()
129 static inline void __tpause(u32 ecx, u32 edx, u32 eax)  in __tpause()  argument
135 		     : "c"(ecx), "d"(edx), "a"(eax));  in __tpause()
139 		     : "c"(ecx), "d"(edx), "a"(eax));  in __tpause()