NAME

get_kernel_data - returns the address of the kernel data structure, along with the number of entries it has

SYNOPSIS

#include <charm.h>

struct KernelDS
{
uint32 name; // the name of the structure this element points to
Vaddr address; // the address of the structure
};

KernelDS *get_kernel_data();

PARAMETERS

DESCRIPTION

The get_kernel_data() system call returns a pointer to and array of kernel data structure entries. Each Kernel data structure entry consists of a logical name and a virtual address. The size of the array is encoded in the address field of the zeroth entry in the array under the name NUM_ENTRIES. The logical names are defined in <KernelData.h>.

RETURN VALUES

Upon success, returns the number of entries in the table.

ERRORS

[KERNEL_DATA_UNINIT] The kernel has not initialised the kernel data table structure.

RELATED INFORMATION

See the user level KernelDataTable library.

last updated: 11/2/99