From 229c7998030c4f6aff99195b47620b5f4da8d304 Mon Sep 17 00:00:00 2001
From: gdisirio <gdisirio@35acf78f-673a-0410-8e92-d51de3d6d3f4>
Date: Thu, 15 Aug 2013 14:07:39 +0000
Subject: git-svn-id: svn://svn.code.sf.net/p/chibios/svn/trunk@6157
 35acf78f-673a-0410-8e92-d51de3d6d3f4

---
 os/hal/src/pal.c | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

(limited to 'os')

diff --git a/os/hal/src/pal.c b/os/hal/src/pal.c
index 602566cca..4e6c63d5f 100644
--- a/os/hal/src/pal.c
+++ b/os/hal/src/pal.c
@@ -69,7 +69,8 @@
  */
 ioportmask_t palReadBus(IOBus *bus) {
 
-  osalDbgCheck((bus != NULL) && (bus->offset < PAL_IOPORTS_WIDTH));
+  chDbgCheck((bus != NULL) && (bus->offset < PAL_IOPORTS_WIDTH),
+             "palReadBus");
 
   return palReadGroup(bus->portid, bus->mask, bus->offset);
 }
@@ -94,7 +95,8 @@ ioportmask_t palReadBus(IOBus *bus) {
  */
 void palWriteBus(IOBus *bus, ioportmask_t bits) {
 
-  osalDbgCheck((bus != NULL) && (bus->offset < PAL_IOPORTS_WIDTH));
+  chDbgCheck((bus != NULL) && (bus->offset < PAL_IOPORTS_WIDTH),
+             "palWriteBus");
 
   palWriteGroup(bus->portid, bus->mask, bus->offset, bits);
 }
@@ -117,7 +119,8 @@ void palWriteBus(IOBus *bus, ioportmask_t bits) {
  */
 void palSetBusMode(IOBus *bus, iomode_t mode) {
 
-  osalDbgCheck((bus != NULL) && (bus->offset < PAL_IOPORTS_WIDTH));
+  chDbgCheck((bus != NULL) && (bus->offset < PAL_IOPORTS_WIDTH),
+             "palSetBusMode");
 
   palSetGroupMode(bus->portid, bus->mask, bus->offset, mode);
 }
-- 
cgit v1.2.3