diff options
Diffstat (limited to 'dev/libDDK')
| -rw-r--r-- | dev/libDDK/src/ddk_kernel_call_dispatch.S | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/dev/libDDK/src/ddk_kernel_call_dispatch.S b/dev/libDDK/src/ddk_kernel_call_dispatch.S index 05ee8209..808aa11a 100644 --- a/dev/libDDK/src/ddk_kernel_call_dispatch.S +++ b/dev/libDDK/src/ddk_kernel_call_dispatch.S @@ -12,14 +12,16 @@ #if defined(__DDK_AMD64__) + .intel_syntax noprefix + /* args rcx, rdx, r8, r9 */ __ke_call_dispatch: - pushq rbp - movq rbp, rsp + push rbp + mov rbp, rsp syscall - popq rbp + pop rbp ret |