/*
 * Copyright 2020-2021, Haiku, Inc. All rights reserved.
 * Distributed under the terms of the MIT License.
 */

#include <asm_defs.h>

    .text

/*  status_t arch_enter_kernel(uint64 satp, struct kernel_args *kernelArgs,
        addr_t kernelEntry, addr_t kernelStackTop);

    a0  - SATP register value
    a1  - kernelArgs
    a2  - kernelEntry
    a3  - kernelStackTop
*/
FUNCTION(arch_enter_kernel):
        csrw satp, a0
        sfence.vma

        // set the kernel stack
        mv      sp, a3
#       li      fp, 0
#       li  ra, 0

        // Setup kernel args
        mv      a0, a1  // kernelArgs
        mv      t0, a2
        li      a1, 0   // currentCPU=0

        // call the kernel
        jr      t0

        // return
        li      a0,-1  // B_ERROR
        ret
FUNCTION_END(arch_enter_kernel)