Searched refs:rest_mem (Results 1 – 3 of 3) sorted by relevance
92 byte_ptr_t rest_mem; 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() argument298 *rest_mem = raw_mem + alloc_size; in picoos_raw_malloc()355 byte_ptr_t rest_mem; in picoos_newMemoryManager() local362 &rest_mem, &rest_mem_size); in picoos_newMemoryManager()409 raw_memory = rest_mem; in picoos_newMemoryManager()412 sizeof(mem_block_hdr_t), &rest_mem, &rest_mem_size); in picoos_newMemoryManager()417 this->lastBlock->data = rest_mem; in picoos_newMemoryManager()
147 byte_ptr_t * rest_mem, picoos_objsize_t * rest_mem_size);