void __fastcall VfDevObjPostAddDevice(
PDEVICE_OBJECT TargetDevice,
struct _DRIVER_OBJECT *DriverObject,
__int64 a3,
int a4,
int a5){
WCHAR v7;
int v8;
if( a5 >= 0 && (MmVerifierData & 0x10) != 0 && MmIsDriverVerifying(DriverObject) )
{
v8 = 5;
if( a4 != 4 )
v8 = a4;
VfFilterAttach(TargetDevice, v8, v7);
}
}