layout.c File Reference

Functions
errval_t	vspace_layout_init (struct vspace_layout *l)
	Initialize the AARCH64 layout.