VOID __stdcall VfIoDetachDevice(DEVICE_OBJECT *LowerDevice, PVOID CallerAddress){
char pszDest[80];
if( !*((_QWORD *)LowerDevice + 3) )
{
ViErrorDisplayDescription(514);
if( (int)RtlStringCbPrintfA(pszDest, 0x49ui64, (INT8 *)"CulpritAddress = %p, DeviceObject = %p.\n") >= 0 )
VfUtilDbgPrint(pszDest);
ViErrorFinishReport(514i64, (UINT64)CallerAddress, (UINT64)LowerDevice, 0i64);
}
IovUtilFlushStackCache(LowerDevice);
}