Searched refs:cur_vvmcs (Results 1 – 1 of 1) sorted by relevance
897 if ((cur_vvmcs == NULL) || (cur_vvmcs->vmcs12_gpa == INVALID_GPA)) { in vmread_vmexit_handler()932 if ((cur_vvmcs == NULL) || (cur_vvmcs->vmcs12_gpa == INVALID_GPA)) { in vmwrite_vmexit_handler()951 cur_vvmcs->host_state_dirty = true; in vmwrite_vmexit_handler()1434 sanitize_l2_vpid(&cur_vvmcs->vmcs12); in nested_vmexit_handler()1440 clear_va_vmcs(cur_vvmcs->vmcs02); in nested_vmexit_handler()1441 set_vmcs02_shadow_indicator(cur_vvmcs); in nested_vmexit_handler()1476 if ((cur_vvmcs == NULL) || (cur_vvmcs->vmcs12_gpa == INVALID_GPA)) { in nested_vmentry()1493 clear_va_vmcs(cur_vvmcs->vmcs02); in nested_vmentry()1494 clear_vmcs02_shadow_indicator(cur_vvmcs); in nested_vmentry()1497 load_va_vmcs(cur_vvmcs->vmcs02); in nested_vmentry()[all …]
Completed in 8 milliseconds