Searched refs:size2 (Results 1 - 4 of 4) sorted by relevance
/seL4-camkes-master/projects/camkes-tool/tools/ |
H A D | cnode-size-playground.c | 68 int size2 = cnode_size_bits(i); local 69 if (size1 != size2) { 73 i, i, size1, i, size2);
|
/seL4-camkes-master/tools/rumprun/lib/libbmk_core/ |
H A D | memalloc.c | 410 unsigned int size1, size2, align; local 422 size2 = myrand() % ((max-min)+1) + min; 423 nv = bmk_memrealloc_user(v, size2); 425 bmk_memset(nv, UNMAGIC2, size2); 429 return size2 ? v : NULL;
|
/seL4-camkes-master/kernel/src/arch/arm/32/kernel/ |
H A D | vspace.c | 962 word_t ap, size2; local 966 word_t hap, size2; 974 size2 = 0; 978 size2 = 1; 987 return pde_pde_section_new(paddr, size2, 995 return pde_pde_section_new(paddr, size2, 1007 size2, /* contiguous */ 1016 size2, /* contiguous */
|
/seL4-camkes-master/projects/picotcp/modules/ |
H A D | pico_tcp.c | 2856 uint16_t size1, size2, size_f; local 2867 size2 = (uint16_t)(size_f - size); 2870 f2 = pico_socket_frame_alloc(&t->sock, get_sock_dev(&t->sock), (uint16_t) (size2 + overhead)); 2888 memcpy(f2->payload, f->payload + size1, size2);
|
Completed in 102 milliseconds