mdb.c File Reference

Functions
bool	has_descendants (struct cte *cte)
	Check if cte has any descendants.
bool	has_copies (struct cte *cte)
	Checks if cte has any copies.
errval_t	mdb_get_copy (struct capability *cap, struct capability **ret)
	Returns a copy of the #cap.
void	set_init_mapping (struct cte *dest_start, size_t num)
void	remove_mapping (struct cte *cte)
	Remove one cap from the mapping database.

Function Documentation

void set_init_mapping	(	struct cte *	dest_start,
		size_t	num
	)

Place #dest_start in the mapping database in the appropriate location.

Look for its relations: copies and descendants and place in accordance. If no relations found, place at the top and set map_head to point to it.