-
Notifications
You must be signed in to change notification settings - Fork 5
The Kernel Call Dispatch System
Amlal El Mahrouss edited this page Nov 18, 2025
·
4 revisions
The libDDK takes care of dispatching the kernel calls to ne_kernel according to the architecture.
Each symbol must be hashed before being processed by the syscall/kerncall dispatch of ne_kernel
Here is the implementation to dispatch a kernel call from /dev/ddk
DDK_EXTERN void* ke_call_dispatch(const char* name, int32_t cnt, void* data, size_t sz) {
if (name == nil || *name == 0 || data == nil || cnt == 0) return nil;
return __ke_call_dispatch(ddk_fnv_64(name), cnt, data, sz);
}SOFTWARE: libDDK.dll
AUTHOR: Amlal El Mahrouss