Searched refs:copy_shadow_to_vmcs12 (Results 1 – 1 of 1) sorted by relevance
1533 static void copy_shadow_to_vmcs12(struct vcpu_vmx *vmx) in copy_shadow_to_vmcs12() function3564 copy_shadow_to_vmcs12(vmx); in nested_vmx_run()5044 copy_shadow_to_vmcs12(vmx); in nested_release_vmcs12()6287 copy_shadow_to_vmcs12(vmx); in vmx_get_nested_state()