/*      $NetBSD: imx31lk_start.S,v 1.7 2020/11/28 14:29:31 skrll Exp $  */
/*-
 * Copyright (c) 2011 The NetBSD Foundation, Inc.
 * All rights reserved.
 *
 * This code is derived from software contributed to The NetBSD Foundation
 * by Matt Thomas of 3am Software Foundry.
 *
 * Redistribution and use in source and binary forms, with or without
 * modification, are permitted provided that the following conditions
 * are met:
 * 1. Redistributions of source code must retain the above copyright
 *    notice, this list of conditions and the following disclaimer.
 * 2. Redistributions in binary form must reproduce the above copyright
 *    notice, this list of conditions and the following disclaimer in the
 *    documentation and/or other materials provided with the distribution.
 *
 * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
 * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
 * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
 * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
 * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
 * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
 * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
 * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
 * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
 * POSSIBILITY OF SUCH DAMAGE.
 */

#include <machine/asm.h>
#include <arm/armreg.h>
#include "assym.h"

RCSID("$NetBSD: imx31lk_start.S,v 1.7 2020/11/28 14:29:31 skrll Exp $")

#ifndef SDRAM_START
#define SDRAM_START 0x80000000
#endif

/*
 * L1 == "Level One" == "first-level"
 * L2 == "Level Two" == "second-level"
 */

        .text

        .global _C_LABEL(imx31lk_start)

ENTRY_NP(imx31lk_start)
        cpsid   if, #PSR_SVC32_MODE

        /*
         * Firmware already mapped SDRAM VA == PA. at 0x800..
         * now map SDRAM also at VA 0x800...
         */
        mrc     p15, 0, r0, c2, c0, 0           /* L1 table addr into r0 */
#ifdef ARM_MMU_EXTENDED
        mcr     p15, 0, r0, c2, c0, 1           /* copy it to TTBR1 */
        mov     r3, #TTBCR_S_N_1
        mcr     p15, 0, r3, c2, c0, 2           /* set TTBCR to enable TTBR1 */
#endif

        ldr     r1, =KERNEL_BASE
        lsr     r1, r1, L1_S_SHIFT
        add     r2, r1, #0x80                   /* 128 1MB entries */
        ldr     r3, .Lsdram_pde
1:
        /* and looplooploop */
        str     r3, [r0, r1, lsl #2]
        add     r3, r3, #L1_S_SIZE
        add     r1, r1, #1
        cmp     r1, r2
        blt     1b

        /*
         * Map an L1 section for each device to make this easy.
         */
        /* UART1 */
        mov     r1, #0xfd0                      /* offset to 0xfd000000 */

        ldr     r3, .Lio_pde
        str     r3, [r0, r1, lsl #2]

        /* etc, TBD... */

        /*
         * Make domain control go full art.
         */
        mov     r0, #((DOMAIN_CLIENT << (PMAP_DOMAIN_KERNEL * 2))|DOMAIN_CLIENT)
        mcr     p15, 0, r0, c3, c0, 0

        /*
         * Now let's clean the cache again to make sure everything is in place.
         */
        bl      _C_LABEL(arm11x6_idcache_wbinv_all)

        /* Invalidate TLBs just to be sure */
        mov     r0, #0
        mcr     p15, 0, r0, c8, c7, 0

        /*
         * You are standing at the gate to NetBSD. --More--
         * Unspeakable cruelty and harm lurk down there. --More--
         * Are you sure you want to enter?
         */
#ifdef KERNEL_BASES_EQUAL
        b       start
#else
        adr     r0, .Lstart
        ldr     ip, [r0]
        bx      ip
#endif

/* symbol to use for address calculation in the right VA */
#ifndef KERNEL_BASES_EQUAL
.Lstart:
        .word   start
#endif

#if L1_S_DOM_KERNEL
#error kernel domain (L1_S_DOM_KERNEL) is not 0
#endif

.Lsdram_pde:
        .word   0x80000000|L1_S_AP_KRW|L1_S_C|L1_S_B|L1_TYPE_S
.Lio_pde:
        .word   0x43f00000|L1_S_AP_KRW|L1_TYPE_S
END(imx31lk_start)