Searched refs:vmcs12_revision (Results 1 – 1 of 1) sorted by relevance
61 u32 vmcs12_revision) in set_revision_id_for_vmcs12() argument64 memcpy(&state->data, &vmcs12_revision, sizeof(u32)); in set_revision_id_for_vmcs12()