#include <bsp/bootcard.h>
#include <bsp/linker-symbols.h>

static void
__outb(int port, unsigned char v)
{
  *((volatile unsigned char *)(0x80000000 + port)) = v;
}

#if 0
/* currently unused but keep just in case */

static unsigned char
__inb(int port)
{
  return *((volatile unsigned char *)(0x80000000 + port));
}
#endif

static void
__memcpy (unsigned char *d, unsigned char *s, int len)
{
  while (len--)
    *d++ = *s++;
}

static void
__bzero (unsigned char *d, int len)
{
  while (len--)
    *d++ = 0;
}


/*
 * Prototype this here because it is just the entry symbol and
 * not referenced from any compileable code.
 */
void cmain (void);

void cmain (void)
{
  /*
   * init variable sections
   */
  __memcpy (bsp_section_data_begin, bsp_section_data_load_begin, (int)bsp_section_data_size);
  __bzero (bsp_section_bss_begin, (int)bsp_section_bss_size);
  __bzero (bsp_section_sbss_begin, (int)bsp_section_sbss_size);
  /* printk( "start of BSP\n"); */
  boot_card(0);
  /* printk( "end of BSP\n"); */
  __outb (0x92, 0x01);
  while (1)
    ;
}