utcb_init.h

Go to the documentation of this file.

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

#ifndef utcb_init_h
#define utcb_init_h

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

//
// INTERFACE definition follows 
//


class Utcb_init
{
public:
  static void init() FIASCO_INIT;
private:

public:
  static Unsigned32 gs_value();

private:  
  static inline void init_lipc_kip();
};

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


#include "gdt.h"

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




inline Unsigned32
Utcb_init::gs_value() 
{ return Gdt::gdt_data_user | Gdt::Selector_user; }

#endif // utcb_init_h

---