KsepDebugPrint

UINT64 KsepDebugPrint(__int64 a1, const char *a2, ...){
  va_list va; 
  va_start(va, a2);
  return vDbgPrintExWithPrefixInternal((INT8 *)File, 0x65ui64, 0i64, (INT8 *)a2, va, 1u);
}

Referenced by:

KseAddHardwareId
KseClearPCIDBitsInitialize
KseDriverLoadImage
KseDriverScopeInitialize
KseDriverUnloadImage
KseInitialize
KseKPSOHookDriverTargeted
KseKasperskyInitialize
KseKernelPadSectionsOverrideInitialize
KseMemcpyInitialize
KseQueryDeviceData
KseRegisterShimEx
KseShimDatabaseBootInitialize
KseShimDriverIoCallbacks
KseSkipDriverUnloadInitialize
KseUnregisterShim
KseUserCetInitialize
KseVersionLieInitialize
KseZeroPoolInitialize
KsepApplyShimsToDriver
KsepDeletePatchSdb
KsepEngineGetShimsFromRegistry
KsepEngineReadFlags
KsepGetShimCallbacksForDriver
KsepGetShimsForDriver
KsepMatchInitBiosInfo
KsepMatchInitMachineInfo
KsepResolveApplicableShimsForDriver
KsepSdbBootInitialize
KsepSdbMapToMemory
KsepShimDatabaseTime