spawn_vspace.c File Reference

Code for managing VSpace of a new domain when it is spawned. More...

Functions
errval_t	spawn_vspace_init (struct spawninfo *si, struct capref vnode, enum cpu_type cpu_type)
	Initialize the vspace for the domain being spawned. More...
errval_t	spawn_vspace_map_one_frame (struct spawninfo *si, genvaddr_t *retaddr, struct capref frame, size_t size)
	Map one frame anywhere.
errval_t	spawn_vspace_map_fixed_one_frame (struct spawninfo *si, genvaddr_t addr, struct capref frame, size_t size)
	Map one frame at the given addr.
errval_t	spawn_vspace_map_anon_fixed_attr (struct spawninfo *si, genvaddr_t addr, size_t size, struct vregion **vregion, struct memobj **memobj, vregion_flags_t flags)
	Return memobj and vregion for anonymous type mapping.

Detailed Description

Code for managing VSpace of a new domain when it is spawned.

Function Documentation

errval_t spawn_vspace_init	(	struct spawninfo *	si,
		struct capref	vnode,
		enum cpu_type cpu_type
	)

Initialize the vspace for the domain being spawned.

Parameters

vnode

The pml4 cap for the new domain