Utcb_init Class Reference

#include <utcb_init.h>

List of all members.

Static Public Member Functions
static void	init () FIASCO_INIT
	UTCB access initialization.
static Unsigned32	gs_value ()
	Value for GS.
Static Private Member Functions
static void	init_lipc_kip ()

---

Member Function Documentation

Unsigned32 Utcb_init::gs_value (   )  [inline, static]

Value for GS. Returns: Value the GS register has to be loaded with when entering user mode.

void Utcb_init::init (   )  [static]

UTCB access initialization. Allocates the UTCB pointer page and maps it to Kmem::utcb_ptr_page. Setup both segment selector and gs register to allow gs:0 access. Postcondition: kernel can access the utcb pointer via *global_utcb_ptr. user can access the utcb pointer via gs:0.

void Utcb_init::init_lipc_kip (   )  [inline, static, private]

---

The documentation for this class was generated from the following files:

• utcb_init.h
• utcb_init.cc
• utcb_init_i.h

---