diff options
Diffstat (limited to 'dev/libDDK/src/ddk_kernel_call_dispatch.S')
| -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 |