Skip to content

The Kernel Call Dispatch System

Amlal El Mahrouss edited this page Nov 18, 2025 · 4 revisions

Brief

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

Figure 1: ke_call_dispatch

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

Clone this wiki locally