Rename microkernel/pool.h to memory_pool.h

Now spells out the name of the associated microkernel object in full.

Change-Id: I1e9bf3dc25de537cecb679e0e0b27e5f54b2aa13
Signed-off-by: Allan Stephens <allan.stephens@windriver.com>
This commit is contained in:
Allan Stephens 2015-06-19 10:05:18 -04:00 committed by Anas Nashif
commit 829eeeaa98
2 changed files with 5 additions and 5 deletions

View file

@ -49,7 +49,7 @@
#include <microkernel/fifo.h>
#include <microkernel/sema.h>
#include <microkernel/event.h>
#include <microkernel/pool.h>
#include <microkernel/memory_pool.h>
#include <microkernel/pipe.h>
#include <microkernel/task_irq.h>

View file

@ -1,4 +1,4 @@
/* microkernel/pool.h */
/* microkernel/memory_pool.h */
/*
* Copyright (c) 1997-2012, 2014 Wind River Systems, Inc.
@ -30,8 +30,8 @@
* POSSIBILITY OF SUCH DAMAGE.
*/
#ifndef POOL_H
#define POOL_H
#ifndef _MEMORY_POOL_H
#define _MEMORY_POOL_H
#ifdef __cplusplus
extern "C" {
@ -53,4 +53,4 @@ extern void task_mem_pool_defragment(kmemory_pool_t pid);
}
#endif
#endif /* POOL_H */
#endif /* _MEMORY_POOL_H */