KsepDebugPrint

UINT64 KsepDebugPrint(__int64 a1, INT8 *a2, ...){
  va_list va; 

  va_start(va, a2);
  return vDbgPrintExWithPrefixInternal((INT8 *)&File, 0x65ui64, 0i64, 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
KsepResolveApplicableShimsForDriver
KsepSdbBootInitialize
KsepSdbMapToMemory
KsepShimDatabaseTime