get_kernel_data - returns the address of the kernel data structure, along with the number of entries it has
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.
See the user level KernelDataTable library and the class OS::