int l4_map(void *p, void *v, u32 npages, u32 flags, l4id_t tid) 

• Sets up a virtual to physical mapping for the thread identified by tid, from virtual address v to physical address p, spanning npages number of pages, using the given flags.

• Sets up virtual to physical address mappings.

• Sets up a virtual to physical mapping for the thread identified by tid, from virtual address v to physical address p, spanning npages number of pages, using the given flags.

/* 
 * Map given physical address to a virtual address 
 * in the current task spanning npages in size.
 */
static inline void *l4_map_helper(void *phys, int npages)