headers/bsd: Add sys/queue.h.
[haiku.git] / src / system / boot / arch / arm / arch_start_kernel.S
blobc03852702c7f753e4db6c814484f2b0d30de1196
1 /*
2  * Copyright 2011, François Revol <revol@free.fr>.
3  * All rights reserved. Distributed under the terms of the MIT License.
4  */
6 #include <arch/arm/arch_cpu.h>
8 #include <asm_defs.h>
11         .text
13 /*      status_t arch_start_kernel(struct kernel_args *kernelArgs,
14                 addr_t kernelEntry, addr_t kernelStackTop);
16         r0      - kernelArgs
17         r1      - kernelEntry
18         r2      - kernelStackTop
20 FUNCTION(arch_start_kernel):
22         // set the kernel stack
23         mov             sp,r2
25         // set up kernel _start args
26         //mov   r0,r0   // kernelArgs
27         mov             r4,r1
28         mov             r1,#0   // currentCPU=0
30         // call the kernel
31         mov             pc,r4
33         // return
34         mov             r0,#-1  // B_ERROR
35         mov             pc,lr
37 FUNCTION_END(arch_start_kernel)