Searched refs:rest_mem_size (Results 1 – 3 of 3) sorted by relevance
93 picoos_objsize_t rest_mem_size; in pico_initialize_priv() local99 &rest_mem, &rest_mem_size); in pico_initialize_priv()101 sysMM = picoos_newMemoryManager(rest_mem, rest_mem_size, enableMemProt ? TRUE : FALSE); in pico_initialize_priv()
281 byte_ptr_t * rest_mem, picoos_objsize_t * rest_mem_size) in picoos_raw_malloc() argument297 *rest_mem_size = rest; in picoos_raw_malloc()356 picoos_objsize_t rest_mem_size; in picoos_newMemoryManager() local362 &rest_mem, &rest_mem_size); in picoos_newMemoryManager()410 size = rest_mem_size; in picoos_newMemoryManager()412 sizeof(mem_block_hdr_t), &rest_mem, &rest_mem_size); in picoos_newMemoryManager()418 this->lastBlock->size = rest_mem_size; in picoos_newMemoryManager()
147 byte_ptr_t * rest_mem, picoos_objsize_t * rest_mem_size);