task.h

Go to the documentation of this file.

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

#ifndef task_h
#define task_h

#include "l4_types.h"
#include "space.h"

//
// INTERFACE definition follows 
//


class Task : public Space
{
private:
  void free_utcb_pagetable();
  void host_init (Task_num);

public:
  explicit Task (Task_num id);
  ~Task();

public:  
  inline bool initialize();
  
  inline void cleanup();
};

inline Task * current_task();

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




inline bool
Task::initialize()
{ return true; }



inline void
Task::cleanup()
{}



inline void
Task::host_init(Task_num)
{}



inline Task::Task(Task_num id)
    : Space (id)
{
  host_init (id);
}



inline Task *
current_task()
{  
  return nonull_static_cast<Task*>(current_space());
}

#endif // task_h

---