Symbol: copy_shadow_to_vmcs12