Searched refs:VMCS_IDENT_REVISION (Results 1 – 1 of 1) sorted by relevance
637 #define VMCS_IDENT_REVISION __BITS(30,0) macro2933 vmcs->ident = __SHIFTIN(rev, VMCS_IDENT_REVISION); in vmx_vcpu_init()