Searched refs:vmcs_check32 (Results 1 – 1 of 1) sorted by relevance
48 static __always_inline void vmcs_check32(unsigned long field) in vmcs_check32() function157 vmcs_check32(field); in vmcs_read32()233 vmcs_check32(field); in vmcs_write32()
Completed in 3 milliseconds