128 			   unsigned int *ecx, unsigned int *edx)  in __cpuid()
141 static __always_inline void set_debugreg(unsigned long val, int reg)  in set_debugreg()
217 #define rdmsrl(msr, val)			\  argument
222 static inline void wrmsrl(unsigned msr, u64 val)  in wrmsrl()
259 #define rdpmcl(counter, val) ((val) = paravirt_read_pmc(counter))  argument
385 static inline pte_t __pte(pteval_t val)  in __pte()
397 static inline pgd_t __pgd(pgdval_t val)  in __pgd()
437 static inline pmd_t __pmd(pmdval_t val)  in __pmd()
454 static inline pud_t __pud(pudval_t val)  in __pud()
477 	p4dval_t val = native_p4d_val(p4d);  in set_p4d()  local
484 static inline p4d_t __p4d(p4dval_t val)  in __p4d()
575 							u32 val)  in pv_queued_spin_lock_slowpath()
587 static __always_inline void pv_wait(u8 *ptr, u8 val)  in pv_wait()