Lines Matching refs:l4_umword_t
77 l4_umword_t l;
79 l4_umword_t h;
128 l4_umword_t
138 l4_umword_t
148 l4_umword_t
161 l4_umword_t
171 l4_umword_t
183 + (kip->mem_info >> (sizeof(l4_umword_t) * 4))); in l4_kernel_info_get_mem_descs()
190 return kip->mem_info & ((1UL << (sizeof(l4_umword_t)*4)) -1); in l4_kernel_info_get_num_mem_descs()
209 l4_umword_t
216 l4_umword_t
223 l4_umword_t
230 l4_umword_t
237 l4_umword_t