From 2c4b02249ec4355a73b826909ab1889e45871faf Mon Sep 17 00:00:00 2001 From: Amlal El Mahrouss Date: Sat, 31 Aug 2024 10:47:14 +0200 Subject: Saving progress on User scheduler implementation. + Working on RISC-V, ARM64, POWER64 HALs, to be able to distribute mulitple versions of the product. Signed-off-by: Amlal El Mahrouss --- dev/DDK/DispatchKernelCall.S | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) (limited to 'dev/DDK/DispatchKernelCall.S') diff --git a/dev/DDK/DispatchKernelCall.S b/dev/DDK/DispatchKernelCall.S index b6ce8004..ef1886b9 100644 --- a/dev/DDK/DispatchKernelCall.S +++ b/dev/DDK/DispatchKernelCall.S @@ -3,32 +3,32 @@ compiler: gnu */ -.globl __kernelCallDispatch +.globl __KernelCallDispatch .text /* Really simple function, takes our va-list, - and brings it to the trap handler in the kernel. */ + and brings it to the trap handler in the Kernel. */ #ifdef __DDK_AMD64__ /* args rcx, rdx, r8, r9 */ -__kernelCallDispatch: +__KernelCallDispatch: int $0x33 ret #elif defined(__DDK_POWER64__) /* args r8, r9, r10, r11 */ -__kernelCallDispatch: +__KernelCallDispatch: /* There is no specific interrupt request id for a system call in POWER. */ sc blr #elif defined(__DDK_ARM64__) -/* args x0, x8, x9, x10, x11 is kept to tell that this is a kernel call */ -__kernelCallDispatch: +/* args x0, x8, x9, x10, x11 is kept to tell that this is a Kernel call */ +__KernelCallDispatch: /* There is no specific interrupt request id for a system call in ARM64 as well. */ mov x11, #0x33 svc #0 -- cgit v1.2.3