OS::

NAME

PROTOTYPE

	#include <OS.h>

	class OS
	{
	public:
        	OS();

        	static const int                   MAX_IRQS = 16;

        	static const KernelConstants     * constants;

        	static volatile const bool       * irqs_pending;
        	static volatile const ulong      * ticks;
        	static volatile const PageFrame  * core_map;
        	static volatile const ArenaData  * arenas;
        	static volatile const TimeSlice  * slices;
        	static volatile const int        * current_slice;
        	static volatile const int        * current_arena;
	};

SYNOPSIS

This class is used to provide a high level interface to the get_kernel_data() system call and the kerneldatatable user library.

FIELDS

int MAX_IRQS;

The maximum number of irqs on the system.

KernelConstants * constants;

The kernelconstants data structure containing various kernel constants defined in <kernelconstants.h>.

bool * irqs_pending;

An array of MAX_IRQS booleans which indicate if an interrupt is pending on the corresponding irq.

ulong * ticks;

The number of ticks that have occured since system boot.

PageFrame * core_map;

An array of instances of class PageFrame indicating the state of physical memory. The PageFrame data structure is described in <PageFrame.h>.

ArenaData * arenas;

An array of instances of class ArenaData indicating the state of the extant arenas in the system. The ArenaData class is defined in <ArenaData.h>.

TimeSlice * slices;

An array of instances of class TimeSlice indicating the ownership of time-slices in the system. The TimeSlice structure is defined in <TimeSlice.h>.

int * current_slice;

The current slice in the TimeSlice array.

int * current_arena;

A pointer an instance of class ArenaData which represents the running arena. The ArenaData class is defined in <ArenaData.h>.

RELATED INFORMATION

See the system call get_kernel_data() and the class kerneldatatable.