summaryrefslogtreecommitdiff
path: root/cesar
diff options
context:
space:
mode:
authorCyril Jourdan2012-11-16 14:12:55 +0100
committerCyril Jourdan2012-11-29 17:23:28 +0100
commitf26a0c498c17173f60ff576875ed1b5ffa89c908 (patch)
tree2556091e31c792b7b79076c5f44babb1f1bbec0b /cesar
parentb2627f5d1fea6f06b03de9c22f1831ac6b9223eb (diff)
cesar/hal/arch/dlink: do not assert if ILRAM2 is empty, refs #3459
Diffstat (limited to 'cesar')
-rw-r--r--cesar/hal/arch/dlink/src/dlink.c12
1 files changed, 6 insertions, 6 deletions
diff --git a/cesar/hal/arch/dlink/src/dlink.c b/cesar/hal/arch/dlink/src/dlink.c
index ac552a5b24..377578ce4f 100644
--- a/cesar/hal/arch/dlink/src/dlink.c
+++ b/cesar/hal/arch/dlink/src/dlink.c
@@ -49,8 +49,8 @@ hal_arch_dlink_copy_ram_to_ilram (
unsigned long addr_offset;
unsigned long *ilram_in_ram_start = rams;
unsigned long *ilram_in_ram_end = rame;
- dbg_assert (rams < rame);
- dbg_assert (ils < ile);
+ dbg_assert (rams <= rame);
+ dbg_assert (ils <= ile);
for ( ; ils < ile; ils++, rams++ )
{
*ils = *rams;
@@ -83,8 +83,8 @@ hal_arch_dlink_patch_ram_call_inst (
unsigned long zone_offset = (unsigned long) zn - (unsigned long) zb;
unsigned long *addr;
unsigned long addr_offset;
- dbg_assert (sw < endw);
- dbg_assert (zb < ze);
+ dbg_assert (sw <= endw);
+ dbg_assert (zb <= ze);
for ( ; sw < endw; sw++ )
{
/* Seek the call instruction. */
@@ -113,8 +113,8 @@ hal_arch_dlink_patch_callbacks (
unsigned long *zb, unsigned long *ze, unsigned long *zn)
{
unsigned long addr_offset;
- dbg_assert (sw < endw);
- dbg_assert (zb < ze);
+ dbg_assert (sw <= endw);
+ dbg_assert (zb <= ze);
for ( ; sw < endw; sw++ )
{
if ((unsigned long*) *sw >= zb && (unsigned long*) *sw < ze)