kernel_thread.h

Go to the documentation of this file.

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

#ifndef kernel_thread_h
#define kernel_thread_h

#include "thread.h"

//
// INTERFACE definition follows 
//


class Kernel_thread : public Thread
{
private:
  void  free_initcall_section();
  void  bootstrap()             asm ("call_bootstrap") FIASCO_FASTCALL;
  void  bootstrap_arch();
  void  run();

protected:
  void  init_workload();

public:  
  // overload allocator -- we cannot allocate by page fault during
  // bootstrapping
  void * operator new (size_t s, L4_uid id);
  
  inline Mword * init_stack();
  
  inline void idle();
  
  inline Kernel_thread();

private:  
  inline Address init_workload_s0_stack();
};

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

#include "processor.h"
#include "task.h"
#include "mem_layout.h"

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




inline Mword *
Kernel_thread::init_stack()
{
  return _kernel_sp; 
}



inline void
Kernel_thread::idle()
{
  if (Config::hlt_works_ok)
    Proc::halt();                       // stop the CPU, waiting for an int
  else
    Proc::pause();
}



inline Kernel_thread::Kernel_thread()
             : Thread (current_task(), Config::kernel_id)
{}



inline void
Kernel_thread::free_initcall_section()
{
  // just fill up with invalid opcodes
  for (unsigned short *i = (unsigned short *) &Mem_layout::initcall_start;   
                       i < (unsigned short *) &Mem_layout::initcall_end; i++)
    *i = 0x0b0f;        // UD2 opcode
}

#endif // kernel_thread_h

---