bond/x64/src/hal/init.c

/* Copyright 2016 secXsQuared
 * Distributed under GPL license
 * See COPYING under root for details
 */

#include "print.h"
#include "mem.h"
#include "intr.h"
#include "hal_arch.h"
#include "sxtdlib.h"
#include "s_boot.h"

extern char HAL_KERNEL_START_VADDR[];
extern char HAL_KERNEL_END_VADDR[];

static void KABI _hal_obtain_cpu_info(boot_info_t *hal_info)
{
    if(hal_info == NULL)
        return;
    uint32_t eax = 0, ebx = 0, ecx = 0, edx = 0;
    hal_cpuid(&eax,&ebx,&ecx,&edx);
    lb_mem_copy(&ebx, &hal_info->cpu_vd_str[0], sizeof(uint32_t));
    lb_mem_copy(&edx, &hal_info->cpu_vd_str[4], sizeof(uint32_t));
    lb_mem_copy(&ecx, &hal_info->cpu_vd_str[8], sizeof(uint32_t));
    hal_info->cpu_vd_str[12] = 0;
}

void KABI hal_main(void *m_info)
{
    if (m_info == NULL || (uint64_t) m_info & lb_bit_field_mask(0, 2))
        return;

    // init HAL infrastructures
    hal_print_init();
    hal_mem_init();


    boot_info_t* boot_info = halloc(sizeof(boot_info_t));

    // set up HAL def
    boot_info->krnl_start = (uint64_t)HAL_KERNEL_START_VADDR;
    boot_info->krnl_end = (uint64_t)HAL_KERNEL_END_VADDR;

    // obtain cpu info
    _hal_obtain_cpu_info(boot_info);

    // init interrupt
    if(hal_interrupt_init() != 0)
    {
        return;
    }
    // pass the control to the kernel
    ke_main(boot_info);
    return;
}