Config.h

Go to the documentation of this file.

// SPDX-License-Identifier: Apache-2.0
// Copyright 2026, Amlal El Mahrouss (amlal@nekernel.org)
// Licensed under the Apache License, Version 2.0 (see LICENSE file)
// Official repository: https://github.com/ne-app-eu/src
 
#ifndef _NE_DDK_CONFIG_H_
#define _NE_DDK_CONFIG_H_
 
#include <DriverKit/DriverKit.h>
#include <SystemKit/Macros.h>
 
#define _ARCH __ne_arch
 
#define _SUBSYSTEM_NET 0x1000
#define _SUBSYSTEM_DDK 0x1000
#define _SUBSYSTEM_SYS 0x1000
 
#ifndef _SHARED
#define _SHARED
#endif
 
#ifndef _PRIVATE
#define _PRIVATE
#endif
 
#ifndef _NEKERNEL
#define _NEKERNEL 202609L
#endif
 
#ifndef _COMMONCORE
#define _COMMONCORE 202609L
#endif
 
#ifndef CLEANUP
#define CLEANUP __cleanup__
#endif
 
#ifndef __cleanup
#define __cleanup(x) unused
#endif
 
typedef int32_t* ddk_guard_int_ptr_t;
 
struct _PRIVATE ddk_guard_type _FINAL {
    ddk_guard_int_ptr_t e_;
};
 
DDK_EXTERN void ddk_cleanup_zone(int32_t**);
 
DDK_EXTERN void ddk_guard_zone(struct ddk_guard_type*);
 
DDK_EXTERN bool ddk_sanity_check(void);
 
DDK_EXTERN void ddk_sanity_check_init(void);
 
#endif