Searched refs:increaseSizePages (Results 1 - 2 of 2) sorted by relevance

/seL4-refos-master/libs/librefossys/src/
H A Dsys_morecore.c87 uint32_t increaseSizePages = refos_round_up_npages(increaseSize); local
88 increaseSizePages = MAX(increaseSizePages, REFOSIO_HEAP_EXPAND_INCREMENT_NPAGES);
93 increaseSizePages * REFOS_PAGE_SIZE);
/seL4-refos-master/projects/refos/impl/libs/librefossys/src/
H A Dsys_morecore.c87 uint32_t increaseSizePages = refos_round_up_npages(increaseSize); local
88 increaseSizePages = MAX(increaseSizePages, REFOSIO_HEAP_EXPAND_INCREMENT_NPAGES);
93 increaseSizePages * REFOS_PAGE_SIZE);

Completed in 77 milliseconds