Searched refs:vmcs_encoding (Results 1 – 1 of 1) sorted by relevance
52 BX_CPP_INLINE Bit32u vmcs_encoding(Bit32u type, Bit32u field) in vmcs_encoding() function69 Bit32u encoding = vmcs_encoding(type, field); in init_generic_mapping()141 Bit32u encoding = vmcs_encoding(type, field); in init_VMCS()