Searched refs:vmcs_check16 (Results 1 – 1 of 1) sorted by relevance
36 static __always_inline void vmcs_check16(unsigned long field) in vmcs_check16() function149 vmcs_check16(field); in vmcs_read16()224 vmcs_check16(field); in vmcs_write16()
Completed in 2 milliseconds