Memory descriptors.

Data Structures
struct	l4_kernel_info_mem_desc_t
	Memory descriptor data structure. More...
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.

---

Function Documentation

unsigned l4_kernel_info_get_num_mem_descs

(

l4_kernel_info_t *

kip

)

[inline]

Get number of memory descriptors.

Returns:

Number of memory descriptors.

Definition at line 144 of file memdesc.h.

References l4_kernel_info_t::mem_info.

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
	)			[inline]

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 151 of file memdesc.h.

References l4_kernel_info_mem_desc_t::h, and l4_kernel_info_mem_desc_t::l.

l4_umword_t l4_kernel_info_get_mem_desc_start

(

l4_kernel_info_mem_desc_t *

md

)

[inline]

Get start value of memory descriptor.

Returns:

Start value.

Definition at line 166 of file memdesc.h.

References l4_kernel_info_mem_desc_t::l.

l4_umword_t l4_kernel_info_get_mem_desc_end

(

l4_kernel_info_mem_desc_t *

md

)

[inline]

Get end value of memory descriptor.

Returns:

End value.

Definition at line 173 of file memdesc.h.

References l4_kernel_info_mem_desc_t::h.

l4_umword_t l4_kernel_info_get_mem_desc_type

(

l4_kernel_info_mem_desc_t *

md

)

[inline]

Get type of memory descriptor.

Returns:

Type value.

Definition at line 180 of file memdesc.h.

References l4_kernel_info_mem_desc_t::l.

l4_umword_t l4_kernel_info_get_mem_desc_subtype

(

l4_kernel_info_mem_desc_t *

md

)

[inline]

Get sub-type of memory descriptor.

Returns:

Sub-type value.

Definition at line 187 of file memdesc.h.

References l4_kernel_info_mem_desc_t::l.

l4_umword_t l4_kernel_info_get_mem_desc_is_virtual

(

l4_kernel_info_mem_desc_t *

md

)

[inline]

Get virtual flag of memory descriptor.

Returns:

1 if region is virtual, 0 if region is physical

Definition at line 194 of file memdesc.h.

References l4_kernel_info_mem_desc_t::l.