Flavio Santes 380ee05a58 kernel/mem_pool: Use the right data-type ... mem_pool structures use uint32_t for counters and size_t to specify sizes, however some routines in mem_pool.c make use of int for similar purposes. This commit fixes that situation by updating some variables to match mem_pool data types. Change-Id: I0aa01c27e512d06d40432e8091ed8fd9d959970c Signed-off-by: Flavio Santes <flavio.santes@intel.com>		2016-12-12 20:01:31 +00:00
..
configs	kernel: disable INIT_STACKS by default	2016-11-24 16:37:01 +00:00
unified	kernel/mem_pool: Use the right data-type	2016-12-12 20:01:31 +00:00
Kconfig	kernel: Eliminate use of KERNEL_V2 configuration option	2016-11-12 12:04:39 +00:00