Searched refs:vmcs_checkl (Results 1 – 1 of 1) sorted by relevance
54 static __always_inline void vmcs_checkl(unsigned long field) in vmcs_checkl() function119 vmcs_checkl(field); in vmcs_readl()192 vmcs_checkl(field); in vmcs_writel()