__int64 __fastcall PpvUtilCallAddDevice(
_DEVICE_OBJECT *a1,
struct _DRIVER_OBJECT *a2,
__int64 (__fastcall *a3)(struct _DRIVER_OBJECT *, _DEVICE_OBJECT *),
int a4){
unsigned int v9;
__int64 v10;
if( !PpvUtilVerifierEnabled || (MmVerifierData & 0x200) == 0 )
return a3(a2, a1);
VfDevObjPreAddDevice(a1, a2, (__int64)a3, a4);
v9 = a3(a2, a1);
VfDevObjPostAddDevice(a1, a2, v10, a4, v9);
return v9;
}