/*  This file is part of Lyos.

    Lyos is free software: you can redistribute it and/or modify
    it under the terms of the GNU General Public License as published by
    the Free Software Foundation, either version 3 of the License, or
    (at your option) any later version.

    Lyos is distributed in the hope that it will be useful,
    but WITHOUT ANY WARRANTY; without even the implied warranty of
    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
    GNU General Public License for more details.

    You should have received a copy of the GNU General Public License
    along with Lyos.  If not, see <http://www.gnu.org/licenses/>. */

#include <lyos/types.h>
#include <lyos/ipc.h>
#include <sys/types.h>
#include <lyos/config.h>
#include <stdio.h>
#include <stdint.h>
#include <unistd.h>
#include <errno.h>
#include <lyos/const.h>
#include <string.h>
#include <lyos/vm.h>
#include "region.h"
#include "proto.h"
#include <lyos/cpufeature.h>
#include <asm/pagetable.h>
#include "global.h"
#include "const.h"

void arch_init_pgd(pgdir_t* pgd)
{
    int kernel_pde = kernel_info.kernel_start_pde;
    phys_bytes paddr = kernel_info.kernel_start_phys;

    int kernel_pde = kernel_info.kernel_start_pde;
    phys_bytes paddr = kernel_info.kernel_start_phys;

    /* map kernel for MM */
    while (kernel_pde < ARCH_PDE(KERNEL_VMA + LOWMEM_END)) {
        mypgd->vir_addr[kernel_pde] =
            __pde((paddr & ARM_VM_SECTION_MASK) | ARM_VM_SECTION |
                  ARM_VM_SECTION_DOMAIN | ARM_VM_SECTION_CACHED |
                  ARM_VM_SECTION_SUPER);

        paddr += ARCH_BIG_PAGE_SIZE;
        kernel_pde++;
    }

    /* create direct mapping to access physical memory */
    for (kernel_pde = 0, paddr = 0; kernel_pde < ARCH_PDE(LOWMEM_END);
         kernel_pde++, paddr += ARCH_BIG_PAGE_SIZE) {
        if (paddr < kernel_info.kernel_end_phys) {
            continue;
        }

        mypgd->vir_addr[kernel_pde] =
            __pde((paddr & ARM_VM_SECTION_MASK) | ARM_VM_SECTION |
                  ARM_VM_SECTION_DOMAIN | ARM_VM_SECTION_CACHED |
                  ARM_VM_SECTION_SUPER);
    }
}

void arch_pgd_mapkernel(pgdir_t* pgd)
{
    int kernel_pde = kernel_info.kernel_start_pde;
    phys_bytes addr = kernel_info.kernel_start_phys;

    /* map low memory */
    while (kernel_pde < ARCH_PDE(KERNEL_VMA + LOWMEM_END)) {
        pgd->vir_addr[kernel_pde] =
            __pde((addr & ARM_VM_SECTION_MASK) | ARM_VM_SECTION |
                  ARM_VM_SECTION_DOMAIN | ARM_VM_SECTION_CACHED |
                  ARM_VM_SECTION_SUPER);

        addr += ARCH_BIG_PAGE_SIZE;
        kernel_pde++;
    }
}
