Searched refs:size2 (Results 1 - 4 of 4) sorted by relevance

/seL4-camkes-master/projects/camkes-tool/tools/
H A Dcnode-size-playground.c68 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 Dmemalloc.c410 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 Dvspace.c962 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 Dpico_tcp.c2856 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