24 #ifndef __L4SYS__MEMDESC_H__ 25 #define __L4SYS__MEMDESC_H__ 202 md->l = (start & ~0x3ffUL) | (type & 0x0f) | ((sub_type << 4) & 0x0f0)
203 | (virt ? 0x200 : 0x0);
212 return md->l & ~0x3ffUL;
219 return md->h | 0x3ffUL;
233 return (md->l & 0xf0) >> 4;
240 return md->l & 0x200;
struct l4_kernel_info_mem_desc_t l4_kernel_info_mem_desc_t
Memory descriptor data structure.
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.
unsigned l4_kernel_info_get_num_mem_descs(l4_kernel_info_t *kip) L4_NOTHROW
Get number of memory descriptors in KIP.
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 mem_info
memory information
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.
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 Kernel Interface Page.
l4_mem_type_t
Type of a memory descriptor.
Memory descriptor data structure.
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_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.
Architecture specific memory (e.g., ACPI memory)
Undefined, unused descriptor.
unsigned long l4_umword_t
Unsigned machine word.
Kernel Info Page access functions.
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.
Shared memory (not implemented)
l4_mem_info_sub_type_t
Memory sub types for l4_mem_type_info descriptors.
Physical address of the ACPI root pointer.
Info from the boot loader.
Memory owned by the boot loader.
unsigned long l4_addr_t
Address type.
Dedicated memory (some device memory)
Reserved memory for kernel etc.
#define L4_NOTHROW
Mark a function declaration and definition as never throwing an exception.