VOID __stdcall VerifierKeLowerIrql(UINT8 NewIrql){
CHAR *v2;
__int64 v3;
v2 = ViKeLowerIrqlSanityChecks(KeGetCurrentIrql(), NewIrql);
LOBYTE(v3) = NewIrql;
((void(__fastcall *)(__int64))pXdvKeLowerIrql)(v3);
ViKeIrqlLogCommon((INT64)v2, 1ui64);
}