C Interface for KIP memory descriptors.
More...
C Interface for KIP memory descriptors.
- Include File
Memory description functions.
This module contains the C functions to access the memory descriptor in the kernel interface page (KIP).
◆ l4_kernel_info_mem_desc_t
Memory descriptor data structure.
- Note
- This data type is opaque, and must be accessed by the accessor functions defined in this module.
◆ l4_mem_archspecific_sub_type_common_t
Memory sub types for l4_mem_type_archspecific descriptors.
Enumerator |
---|
l4_mem_archspecific_acpi_tables | Firmware ACPI tables.
|
l4_mem_archspecific_acpi_nvs | Firmware reserved address space.
|
Definition at line 70 of file memdesc.h.
◆ l4_mem_info_sub_type_t
Memory sub types for l4_mem_type_info descriptors.
Enumerator |
---|
l4_mem_info_acpi_rsdp | Physical address of the ACPI root pointer.
|
Definition at line 61 of file memdesc.h.
◆ l4_mem_type_t
Type of a memory descriptor.
Enumerator |
---|
l4_mem_type_undefined | Undefined, unused descriptor.
|
l4_mem_type_conventional | Conventional memory.
|
l4_mem_type_reserved | Reserved memory for kernel etc.
|
l4_mem_type_dedicated | Dedicated memory (some device memory)
|
l4_mem_type_shared | Shared memory (not implemented)
|
l4_mem_type_info | Info from the boot loader.
|
l4_mem_type_bootloader | Memory owned by the boot loader.
|
l4_mem_type_archspecific | Architecture specific memory (e.g., ACPI memory)
|
Definition at line 44 of file memdesc.h.
◆ l4_kernel_info_get_mem_desc_end()
Get end address of the region described by the memory descriptor.
- Returns
- End address.
Definition at line 227 of file memdesc.h.
◆ l4_kernel_info_get_mem_desc_is_virtual()
Get virtual flag of the memory descriptor.
- Returns
- 1 if region is virtual memory, 0 if region is physical memory
Definition at line 248 of file memdesc.h.
◆ l4_kernel_info_get_mem_desc_start()
Get start address of the region described by the memory descriptor.
- Returns
- Start address.
Definition at line 220 of file memdesc.h.
◆ l4_kernel_info_get_mem_desc_subtype()
Get sub-type of memory region.
- Returns
- Sub-type.
The sub type is defined for architecture specific memory descriptors (see l4_mem_type_archspecific) and has architecture specific meaning.
Definition at line 241 of file memdesc.h.
◆ l4_kernel_info_get_mem_desc_type()
◆ l4_kernel_info_get_num_mem_descs()
Get number of memory descriptors in KIP.
- Returns
- Number of memory descriptors.
Definition at line 198 of file memdesc.h.
◆ l4_kernel_info_set_mem_desc()
Populate a memory descriptor.
- Parameters
-
md | Pointer to memory descriptor |
start | Start of region |
end | End of region |
type | Type of region |
virt | 1 if virtual region, 0 if physical region |
sub_type | Sub type. |
Definition at line 205 of file memdesc.h.