Searched refs:ku_mem (Results 1 – 1 of 1) sorted by relevance
238 l4_task_add_ku_mem_u(l4_cap_idx_t task, l4_fpage_t ku_mem,251 l4_task_add_ku_mem(l4_cap_idx_t task, l4_fpage_t ku_mem) L4_NOTHROW;338 l4_task_add_ku_mem_u(l4_cap_idx_t task, l4_fpage_t ku_mem, in l4_task_add_ku_mem_u() argument343 v->mr[1] = ku_mem.raw; in l4_task_add_ku_mem_u()414 l4_task_add_ku_mem(l4_cap_idx_t task, l4_fpage_t ku_mem) L4_NOTHROW in l4_task_add_ku_mem() argument416 return l4_task_add_ku_mem_u(task, ku_mem, l4_utcb()); in l4_task_add_ku_mem()
Completed in 2 milliseconds