Kernel_thread Class Reference

#include <kernel_thread.h>

Inheritance diagram for Kernel_thread:

List of all members.

Public Member Functions
void *	operator new (size_t s, L4_uid id)
	Class-specific allocator.
Mword *	init_stack ()
void	idle ()
	Kernel_thread ()
Protected Member Functions
void	init_workload ()
Private Member Functions
void	free_initcall_section ()
	Frees the memory of the initcall sections.
void	bootstrap () asm("call_bootstrap") FIASCO_FASTCALL
void	bootstrap_arch ()
void	run ()
	The idle loop NEVER inline this function, because our caller is an initcall.
Address	init_workload_s0_stack ()

---

Constructor & Destructor Documentation

Kernel_thread::Kernel_thread (   )  [inline]

---

Member Function Documentation

FIASCO_INIT void Kernel_thread::bootstrap (   )  [private]

FIASCO_INIT void Kernel_thread::bootstrap_arch (   )  [private]

void Kernel_thread::free_initcall_section (   )  [inline, private]

Frees the memory of the initcall sections. Virtually initcall sections are freed by not marking them reserved in the KIP. This method just invalidates the contents of the memory, by filling it with some invalid data and may be unmapping it.

void Kernel_thread::idle (   )  [inline]

Mword * Kernel_thread::init_stack (   )  [inline]

void Kernel_thread::init_workload (   )  [protected]

Address Kernel_thread::init_workload_s0_stack (   )  [inline, private]

void * Kernel_thread::operator new (  size_t  s, L4_uid  id )

Class-specific allocator. This allocator ensures that threads are allocated at a fixed virtual address computed from their thread ID. Parameters: id  thread ID Returns: address of new thread control block Reimplemented from Thread.

FIASCO_NOINLINE FIASCO_NORETURN void Kernel_thread::run (   )  [private]

The idle loop NEVER inline this function, because our caller is an initcall.

---

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

• kernel_thread.h
• kernel_thread-ia32.cc
• kernel_thread-std.cc
• kernel_thread.cc
• kernel_thread_i.h

---