Private/DriverKit/KernelStd.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24

/* -------------------------------------------

    Copyright Mahrouss Logic

    Purpose: Kernel Definitions.

------------------------------------------- */

#include <DriverKit/KernelStd.h>
#include <stdarg.h>

DK_EXTERN __attribute__((naked)) void __kernelDispatchCall(int32_t cnt, ...);

DK_EXTERN void* kernelCall(const char* kernelRpcName, int32_t cnt, ...) {
    if (!kernelRpcName || cnt == 0) return NIL;

    va_list arg;
    va_start(arg, cnt);

    __kernelDispatchCall(cnt, arg);

    va_end(arg);

}