Searched refs:vmcs_field_encoding (Results 1 – 3 of 3) sorted by relevance
59 vmcs_field_encoding(int ident) in vmcs_field_encoding() function
58 uint32_t vmcs_field_encoding(int ident);
3107 encoding = vmcs_field_encoding(reg); in vmx_getreg()3168 encoding = vmcs_field_encoding(reg); in vmx_setreg()