void __fastcall CcFreeVacbArray(_DWORD *a1){ if( a1[1] ) KeBugCheckEx(0x34u, 0x25Eui64, 0xFFFFFFFFC0000420ui64, 0i64, 0i64); ExFreePoolWithTag(a1, 0x61566356u); }