VOID __fastcall VfFailDeviceNode(DRIVER_OBJECT *Param2, UINT64 Code, UINT64 Param1){
unsigned int v3;
UINT64 v4;
UINT64 v6;
v3 = Code;
v4 = (unsigned int)Param1;
if( (unsigned int)VfIsVerificationEnabled(VFOBJTYPE_DEVICE, Param2) )
VerifierBugCheckIfAppropriate(v3, v4, (UINT64)Param2, 0i64, 0i64, v6);
}