diff options
| author | gdisirio <gdisirio@35acf78f-673a-0410-8e92-d51de3d6d3f4> | 2011-08-12 11:10:19 +0000 |
|---|---|---|
| committer | gdisirio <gdisirio@35acf78f-673a-0410-8e92-d51de3d6d3f4> | 2011-08-12 11:10:19 +0000 |
| commit | 43752ee8d132fc57028a9ff15156c5bfcd81c013 (patch) | |
| tree | eb4a8eafaaac4084e1c0c307850a8ce17939e58f /os/kernel/src/chmempools.c | |
| parent | e0309ba9738efc707f8c43de43e04d2c62a32e8c (diff) | |
| download | ChibiOS-43752ee8d132fc57028a9ff15156c5bfcd81c013.tar.gz ChibiOS-43752ee8d132fc57028a9ff15156c5bfcd81c013.tar.bz2 ChibiOS-43752ee8d132fc57028a9ff15156c5bfcd81c013.zip | |
Extended state check to all kernel I-class and s-class APIs, corrected some test cases where call protocol rules were not strictly observerd. No the whole test suite pass with the state checker enabled.
git-svn-id: svn://svn.code.sf.net/p/chibios/svn/trunk@3223 35acf78f-673a-0410-8e92-d51de3d6d3f4
Diffstat (limited to 'os/kernel/src/chmempools.c')
| -rw-r--r-- | os/kernel/src/chmempools.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/os/kernel/src/chmempools.c b/os/kernel/src/chmempools.c index 38adc3d49..767bfda09 100644 --- a/os/kernel/src/chmempools.c +++ b/os/kernel/src/chmempools.c @@ -72,6 +72,7 @@ void chPoolInit(MemoryPool *mp, size_t size, memgetfunc_t provider) { void *chPoolAllocI(MemoryPool *mp) {
void *objp;
+ chDbgCheckClassI();
chDbgCheck(mp != NULL, "chPoolAllocI");
if ((objp = mp->mp_next) != NULL)
@@ -114,6 +115,7 @@ void *chPoolAlloc(MemoryPool *mp) { void chPoolFreeI(MemoryPool *mp, void *objp) {
struct pool_header *php = objp;
+ chDbgCheckClassI();
chDbgCheck((mp != NULL) && (objp != NULL) && MEM_IS_ALIGNED(objp),
"chPoolFreeI");
|