diff options
| author | Amlal El Mahrouss <amlal@nekernel.org> | 2025-08-25 09:55:34 +0200 |
|---|---|---|
| committer | Amlal El Mahrouss <amlal@nekernel.org> | 2025-08-25 09:55:34 +0200 |
| commit | 328b34360ab8b2462ea5858441693277b3d23f08 (patch) | |
| tree | a663c7dcd26779295ce0d9681418964f802f2d14 /dev | |
| parent | a7939c9a20d5f4b83d5df34aa652a88a0764042c (diff) | |
fix: fix dispatch of other platforms symbol.v0.0.4e1-release
Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org>
Diffstat (limited to 'dev')
| -rw-r--r-- | dev/libDDK/src/ddk_kernel_call_dispatch.S | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/dev/libDDK/src/ddk_kernel_call_dispatch.S b/dev/libDDK/src/ddk_kernel_call_dispatch.S index dfe2d929..05ee8209 100644 --- a/dev/libDDK/src/ddk_kernel_call_dispatch.S +++ b/dev/libDDK/src/ddk_kernel_call_dispatch.S @@ -26,7 +26,7 @@ __ke_call_dispatch: #elif defined(__DDK_POWER64__) /* args r8, r9, r10, r11 */ -ke_call_dispatch: +__ke_call_dispatch: /* There is no specific interrupt request id for a system call in POWER. */ sc blr @@ -34,7 +34,7 @@ ke_call_dispatch: #elif defined(__DDK_ARM64__) /* args x0, x8, x9, x10, x11 is kept to tell that this is a Kernel call */ -ke_call_dispatch: +__ke_call_dispatch: /* There is no specific interrupt request id for a system call in ARM64 as well. */ mov x9, #0x33 svc #0 |