diff options
Diffstat (limited to 'dev/libDDK/src/ddk_kernel_call_dispatch.S')
| -rw-r--r-- | dev/libDDK/src/ddk_kernel_call_dispatch.S | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/dev/libDDK/src/ddk_kernel_call_dispatch.S b/dev/libDDK/src/ddk_kernel_call_dispatch.S index 7b7a26cb..a607fe40 100644 --- a/dev/libDDK/src/ddk_kernel_call_dispatch.S +++ b/dev/libDDK/src/ddk_kernel_call_dispatch.S @@ -21,10 +21,11 @@ __ke_call_dispatch: push rbp mov rbp, rsp + /* registers have already been pushed. */ + int kKernelCallTrapId pop rbp - ret #elif defined(__DDK_POWER64__) |