Searched refs:fpages (Results 1 – 2 of 2) sorted by relevance
| /l4re-core-master/l4sys/include/ |
| A D | task.h | 128 l4_task_unmap_batch(l4_cap_idx_t task, l4_fpage_t const *fpages,
135 l4_task_unmap_batch_u(l4_cap_idx_t task, l4_fpage_t const *fpages,
306 l4_task_unmap_batch_u(l4_cap_idx_t task, l4_fpage_t const *fpages, in l4_task_unmap_batch_u() argument
313 __builtin_memcpy(&v->mr[2], fpages, num_fpages * sizeof(l4_fpage_t)); in l4_task_unmap_batch_u()
364 l4_task_unmap_batch(l4_cap_idx_t task, l4_fpage_t const *fpages, in l4_task_unmap_batch() argument
367 return l4_task_unmap_batch_u(task, fpages, num_fpages, map_mask, in l4_task_unmap_batch()
|
| A D | task | 107 * \param fpages An array of flexpages. Each item describes an area in
109 * \param num_fpages Number of fpages in the `fpages` array.
118 l4_msgtag_t unmap_batch(l4_fpage_t const *fpages,
122 { return l4_task_unmap_batch_u(cap(), fpages, num_fpages, map_mask, utcb); }
|
Completed in 3 milliseconds