VOID __stdcall ExpObCloseCrossVmEvent(INT64 a1, INT64 a2, INT64 a3, INT64 a4){
UINT64 ExtensionHostForCrossVmObject;
_EX_RUNDOWN_REF *v9;
v9 = 0i64;
ExtensionHostForCrossVmObject = ExpGetExtensionHostForCrossVmObject(a1, (INT64 *)&v9);
if( ExtensionHostForCrossVmObject )
{
(*(void(__fastcall **)(INT64, INT64, INT64, INT64))(ExtensionHostForCrossVmObject + 48))(a1, a2, a3, a4);
ExReleaseExtensionTable(v9);
}
}