page_mappings_arch.c File Reference

Functions
errval_t	caps_copy_to_vnode (struct cte *dest_vnode_cte, cslot_t dest_slot, struct cte *src_cte, uintptr_t flags, uintptr_t offset, uintptr_t pte_count, struct cte *mapping_cte)
	Create page mappings.
errval_t	page_mappings_modify_flags (struct capability *mapping, size_t offset, size_t pages, size_t mflags, genvaddr_t va_hint)
	modify flags of mapping mapping. More...

Function Documentation

errval_t page_mappings_modify_flags	(	struct capability *	mapping,
		size_t	offset,
		size_t	pages,
		size_t	mflags,
		genvaddr_t	va_hint
	)

modify flags of mapping mapping.

• mapping the mapping to modify
• offset the offset from the first page table entry in entries
• pages the number of pages to modify
• mflags the new flags
• va_hint a user-supplied virtual address for hinting selective TLB flushing