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
261 static inline void paravirt_alloc_ldt(struct desc_struct *ldt, unsigned entries)  in paravirt_alloc_ldt()
266 static inline void paravirt_free_ldt(struct desc_struct *ldt, unsigned entries)  in paravirt_free_ldt()
283 static inline void set_ldt(const void *addr, unsigned entries)  in set_ldt()
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()