Searched defs:snd_fpage (Results 1 – 3 of 3) sorted by relevance
| /l4re-core-master/sigma0/server/src/ |
| A D | memmap_internal.h | 43 void snd_fpage(unsigned long addr, unsigned size, unsigned access, in snd_fpage() function
|
| /l4re-core-master/l4sys/include/ |
| A D | ipc.h | 556 l4_sndfpage_add_u(l4_fpage_t const snd_fpage, unsigned long snd_base, in l4_sndfpage_add_u()
574 l4_sndfpage_add(l4_fpage_t const snd_fpage, unsigned long snd_base, in l4_sndfpage_add()
|
| A D | task.h | 283 l4_fpage_t snd_fpage, l4_umword_t snd_base, l4_utcb_t *u) L4_NOTHROW in l4_task_map_u()
351 l4_fpage_t snd_fpage, l4_umword_t snd_base) L4_NOTHROW in l4_task_map()
|
Completed in 9 milliseconds