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

#include <charm.h>

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

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>

Upon success, returns a pointer to an array of kernel data structure entries.

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