24#ifndef __L4SYS__MEMDESC_H__
25#define __L4SYS__MEMDESC_H__
200 return kip->mem_info & ((1UL << (
sizeof(
l4_umword_t)*4)) -1);
212 md->l = (start & ~0x3ffUL) | (type & 0x0f) | ((sub_type << 4) & 0x0f0)
213 | (virt ? 0x200 : 0x0);
222 return md->l & ~0x3ffUL;
229 return md->h | 0x3ffUL;
243 return (md->l & 0xf0) >> 4;
250 return md->l & 0x200;
unsigned long l4_umword_t
Unsigned machine word.
unsigned long l4_addr_t
Address type.
l4_umword_t l4_kernel_info_get_mem_desc_subtype(l4_kernel_info_mem_desc_t *md) L4_NOTHROW
Get sub-type of memory region.
l4_mem_archspecific_sub_type_common_t
Memory sub types for l4_mem_type_archspecific descriptors.
l4_kernel_info_mem_desc_t * l4_kernel_info_get_mem_descs(l4_kernel_info_t *kip) L4_NOTHROW
Get pointer to memory descriptors from KIP.
l4_mem_info_sub_type_t
Memory sub types for l4_mem_type_info descriptors.
l4_umword_t l4_kernel_info_get_mem_desc_is_virtual(l4_kernel_info_mem_desc_t *md) L4_NOTHROW
Get virtual flag of the memory descriptor.
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) L4_NOTHROW
Populate a memory descriptor.
l4_umword_t l4_kernel_info_get_mem_desc_end(l4_kernel_info_mem_desc_t *md) L4_NOTHROW
Get end address of the region described by the memory descriptor.
unsigned l4_kernel_info_get_num_mem_descs(l4_kernel_info_t *kip) L4_NOTHROW
Get number of memory descriptors in KIP.
l4_mem_type_t
Type of a memory descriptor.
l4_umword_t l4_kernel_info_get_mem_desc_type(l4_kernel_info_mem_desc_t *md) L4_NOTHROW
Get type of the memory region.
l4_umword_t l4_kernel_info_get_mem_desc_start(l4_kernel_info_mem_desc_t *md) L4_NOTHROW
Get start address of the region described by the memory descriptor.
@ l4_mem_archspecific_acpi_tables
Firmware ACPI tables.
@ l4_mem_archspecific_acpi_nvs
Firmware reserved address space.
@ l4_mem_info_acpi_rsdp
Physical address of the ACPI root pointer.
@ l4_mem_type_archspecific
Architecture specific memory (e.g., ACPI memory)
@ l4_mem_type_conventional
Conventional memory.
@ l4_mem_type_info
Info from the boot loader.
@ l4_mem_type_undefined
Undefined, unused descriptor.
@ l4_mem_type_dedicated
Dedicated memory (some device memory)
@ l4_mem_type_reserved
Reserved memory for kernel etc.
@ l4_mem_type_bootloader
Memory owned by the boot loader.
@ l4_mem_type_shared
Shared memory (not implemented)
#define L4_NOTHROW
Mark a function declaration and definition as never throwing an exception.
#define L4_INLINE
L4 Inline function attribute.
Memory descriptor data structure.
L4 Kernel Interface Page.
Kernel Info Page access functions.