void __fastcall VfDevObjPreAddDevice(
PDEVICE_OBJECT TargetDevice,
struct _DRIVER_OBJECT *DriverObject,
__int64 a3,
int a4){
WCHAR v6;
int v7;
if( MmIsDriverVerifying(DriverObject) && (MmVerifierData & 0x10) != 0 )
{
v7 = 3;
if( a4 != 4 )
v7 = a4;
VfFilterAttach(TargetDevice, v7, v6);
}
}