/** Bootstrap allocation. Problem is that the dynamic linker calls require
* calloc to work and calloc requires the dynamic linker to work. */
/** Bootstrap allocation. Problem is that the dynamic linker calls require
* calloc to work and calloc requires the dynamic linker to work. */
/* Only perform user allocations from user context */
ASSERT(!model || thread_current());
return user_malloc(size);
/* Only perform user allocations from user context */
ASSERT(!model || thread_current());
return user_malloc(size);