VOID __stdcall VfIoDetachDevice(_DEVICE_OBJECT *LowerDevice, VOID *CallerAddress){
INT8 pszDest[80];
if( !LowerDevice->AttachedDevice )
{
ViErrorDisplayDescription(514);
if( RtlStringCbPrintfA(pszDest, 0x49ui64, (INT8 *)"CulpritAddress = %p, DeviceObject = %p.\n") >= 0 )
VfUtilDbgPrint(pszDest);
ViErrorFinishReport(514, CallerAddress, (UINT64)LowerDevice, 0i64);
}
IovUtilFlushStackCache(LowerDevice);
}