Lines Matching refs:map_mask
99 l4_umword_t map_mask) L4_NOTHROW;
106 l4_umword_t map_mask, l4_utcb_t *utcb) L4_NOTHROW;
129 unsigned num_fpages, l4_umword_t map_mask) L4_NOTHROW;
136 unsigned num_fpages, l4_umword_t map_mask,
296 l4_umword_t map_mask, l4_utcb_t *u) L4_NOTHROW in l4_task_unmap_u() argument
300 v->mr[1] = map_mask; in l4_task_unmap_u()
307 unsigned num_fpages, l4_umword_t map_mask, in l4_task_unmap_batch_u() argument
312 v->mr[1] = map_mask; in l4_task_unmap_batch_u()
358 l4_umword_t map_mask) L4_NOTHROW in l4_task_unmap() argument
360 return l4_task_unmap_u(task, fpage, map_mask, l4_utcb()); in l4_task_unmap()
365 unsigned num_fpages, l4_umword_t map_mask) L4_NOTHROW in l4_task_unmap_batch() argument
367 return l4_task_unmap_batch_u(task, fpages, num_fpages, map_mask, in l4_task_unmap_batch()