/**
 * @file pch.h
 * @author Sina Karvandi (sina@hyperdbg.org)
 * @brief Headers of Message logging and tracing
 * @details
 * @version 0.2
 * @date 2023-01-23
 *
 * @copyright This project is released under the GNU Public License v3.
 *
 */

#pragma once

#define _NO_CRT_STDIO_INLINE

#pragma warning(disable : 4201) // Suppress nameless struct/union warning

//
// Environment headers
//
#include "platform/general/header/Environment.h"

#ifdef HYPERDBG_ENV_WINDOWS

//
// Windows defined functions
//
// ntifs.h (superset of ntddk.h) so the shared platform TUs compiled into this
// driver see ZwAllocateVirtualMemory/ZwFreeVirtualMemory (PlatformMem.c) and
// KeGenericCallDpc (PlatformDpc.c) — same header hyperkd/hyperhv already use.
#    include <ntifs.h>
#    include <ntstrsafe.h>
#    include <Windef.h>

#endif // HYPERDBG_ENV_WINDOWS

//
// Scope definitions
//
#define HYPERDBG_KERNEL_MODE
#define HYPERDBG_HYPER_LOG

#include "UnloadDll.h"
#include "SDK/HyperDbgSdk.h"
#include "SDK/modules/HyperLog.h"
#include "SDK/imports/kernel/HyperDbgHyperLogImports.h"
#include "components/spinlock/header/Spinlock.h"
#include "Logging.h"

//
// Platform independent headers
//
#include "platform/kernel/header/PlatformCpu.h"
#include "platform/kernel/header/PlatformDbg.h"
#include "platform/kernel/header/PlatformDpc.h"
#include "platform/kernel/header/PlatformEvent.h"
#include "platform/kernel/header/PlatformIntrinsics.h"
#include "platform/kernel/header/PlatformIo.h"
#include "platform/kernel/header/PlatformIrql.h"
#include "platform/kernel/header/PlatformMem.h"
#include "platform/kernel/header/PlatformSpinlock.h"
#include "platform/kernel/header/PlatformStr.h"
#include "platform/kernel/header/PlatformTime.h"