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.