Searched refs:num_fpages (Results 1 – 2 of 2) sorted by relevance
| /l4re-core-master/l4sys/include/ |
| A D | task.h | 129 unsigned num_fpages, l4_umword_t map_mask) L4_NOTHROW;
136 unsigned num_fpages, l4_umword_t map_mask,
307 unsigned num_fpages, l4_umword_t map_mask, 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()
314 return l4_ipc_call(task, u, l4_msgtag(L4_PROTO_TASK, 2 + num_fpages, 0, 0), L4_IPC_NEVER); in l4_task_unmap_batch_u()
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()
|
| A D | task | 109 * \param num_fpages Number of fpages in the `fpages` array.
115 * \pre The caller needs to take care that `num_fpages` is not bigger
119 unsigned num_fpages,
122 { return l4_task_unmap_batch_u(cap(), fpages, num_fpages, map_mask, utcb); }
|
Completed in 3 milliseconds