Searched refs:regular_memory_pool_end (Results 1 – 1 of 1) sorted by relevance
128 VOID *regular_memory_pool_end; in _ux_system_initialize() local208 … regular_memory_pool_end = (void *) (((UCHAR *) regular_memory_pool_start) + regular_memory_size); in _ux_system_initialize()211 if (int_memory_pool_start >= (ALIGN_TYPE)regular_memory_pool_end) in _ux_system_initialize()219 pool_size = (ULONG) (((ALIGN_TYPE) regular_memory_pool_end) - int_memory_pool_start); in _ux_system_initialize()
