#include <l4/sys/kernel.h>
Go to the source code of this file.
Data Structures | |
| struct | l4_kernel_info_mem_desc_t |
| Memory descriptor data structure. More... | |
Enumerations | |
| enum | { l4_mem_type_undefined = 0x0, l4_mem_type_conventional = 0x1, l4_mem_type_reserved = 0x2, l4_mem_type_dedicated = 0x3, l4_mem_type_shared = 0x4, l4_mem_type_bootloader = 0xe, l4_mem_type_archspecific = 0xf } |
Functions | |
| l4_kernel_info_mem_desc_t * | l4_kernel_info_get_mem_descs (l4_kernel_info_t *kip) |
| Get pointer to memory descriptors from KIP. | |
| unsigned | l4_kernel_info_get_num_mem_descs (l4_kernel_info_t *kip) |
| Get number of memory descriptors. | |
| void | l4_kernel_info_set_mem_desc (l4_kernel_info_mem_desc_t *md, l4_addr_t start, l4_addr_t end, unsigned type, unsigned virt, unsigned sub_type) |
| Populate a memory descriptor. | |
| l4_umword_t | l4_kernel_info_get_mem_desc_start (l4_kernel_info_mem_desc_t *md) |
| Get start value of memory descriptor. | |
| l4_umword_t | l4_kernel_info_get_mem_desc_end (l4_kernel_info_mem_desc_t *md) |
| Get end value of memory descriptor. | |
| l4_umword_t | l4_kernel_info_get_mem_desc_type (l4_kernel_info_mem_desc_t *md) |
| Get type of memory descriptor. | |
| l4_umword_t | l4_kernel_info_get_mem_desc_subtype (l4_kernel_info_mem_desc_t *md) |
| Get sub-type of memory descriptor. | |
| l4_umword_t | l4_kernel_info_get_mem_desc_is_virtual (l4_kernel_info_mem_desc_t *md) |
| Get virtual flag of memory descriptor. | |
Definition in file memdesc.h.