Searched refs:vmcs_field_encoding (Results 1 – 1 of 1) sorted by relevance
77 vmcs_field_encoding(int ident) in vmcs_field_encoding() function209 encoding = vmcs_field_encoding(ident); in vmcs_getreg()234 encoding = vmcs_field_encoding(ident); in vmcs_setreg()