VOID __stdcall VfDevObjPostAddDevice(
_DEVICE_OBJECT *PhysicalDeviceObject,
_DRIVER_OBJECT *DriverObject,
VF_DEVOBJ_TYPE DevObjType,
INT64 Result){
VF_DEVOBJ_TYPE v4;
int v6;
VF_DEVOBJ_TYPE v7;
int v8;
v4 = (int)Result;
if( v8 >= 0 && (MmVerifierData & 0x10) != 0 )
{
MmIsDriverVerifying(DriverObject);
if( v6 )
{
v7 = VF_DEVOBJ_UPPER_DEVICE_FILTER;
if( v4 != VF_DEVOBJ_FDO )
v7 = v4;
VfFilterAttach(PhysicalDeviceObject, v7);
}
}
}