kip_init.h

Go to the documentation of this file.

// AUTOMATICALLY GENERATED -- DO NOT EDIT!         -*- c++ -*-

#ifndef kip_init_h
#define kip_init_h

#include "initcalls.h"
#include "types.h"

//
// INTERFACE definition follows 
//


class Kip_init
{
private:
  static void setup_abi();

  static void setup_arch();

  static void setup_arch_abi();

public:
  static void setup_kmem_region (Address kmem_base, Address kmem_size);

public:  
  static FIASCO_INIT void init();
};

//
// IMPLEMENTATION includes follow (for use by inline functions)
//


#include "boot_info.h"
#include "kmem.h"

//
// IMPLEMENTATION of inline functions (and needed classes)
//



inline FIASCO_INIT
void
Kip_init::setup_abi()
{
  Kip::k()->clock               = 0;
  Kip::k()->main_memory.low     = 0;
  Kip::k()->main_memory.high    = Kmem::get_mem_max();
  Kip::k()->reserved0.low       = Kmem::kcode_start();
  Kip::k()->reserved0.high      = Kmem::kcode_end();
  Kip::k()->semi_reserved.low   = Boot_info::mbi_virt()->mem_lower << 10;
  Kip::k()->semi_reserved.high  = 1 << 20;
  Kip::k()->sched_granularity   = Config::scheduler_granularity;
  Kip::k()->offset_version_strings = 0xe;
}


inline FIASCO_INIT
void Kip_init::setup_kmem_region(Address, Address)
{
  Kip::k()->reserved1.low       = Kmem::kmem_base();
  Kip::k()->reserved1.high      = Kmem::get_mem_max();
}


inline FIASCO_INIT void Kip_init::setup_arch() {}

inline FIASCO_INIT void Kip_init::setup_arch_abi() {}

#endif // kip_init_h

---