Searched refs:vmcs_check64 (Results 1 – 1 of 1) sorted by relevance
60 static __always_inline void vmcs_check64(unsigned long field) in vmcs_check64() function165 vmcs_check64(field); in vmcs_read64()242 vmcs_check64(field); in vmcs_write64()
Completed in 4 milliseconds