Searched defs:rest_mem_size (Results 1 – 2 of 2) sorted by relevance
93 picoos_uint32 rest_mem_size; in pico_initialize_priv() local
281 byte_ptr_t * rest_mem, picoos_objsize_t * rest_mem_size) in picoos_raw_malloc()356 picoos_objsize_t rest_mem_size; in picoos_newMemoryManager() local