Make !CONFIG_EXACT_CPU work again.

[libucw.git] / lib / bigalloc.c

diff --git a/lib/bigalloc.c b/lib/bigalloc.c
index e2be03a227de42c95e21bed5b59b19dbe397bf99..ad6aeff0cd523e9acc97bcc53408e8367abb989d 100644 (file)
--- a/lib/bigalloc.c
+++ b/lib/bigalloc.c
@@ -39,7 +39,7 @@ void
 big_free(void *start, unsigned int len)
 {
   byte *p = start;
-  ASSERT(!((addr_int_t) p & (CPU_PAGE_SIZE-1)));
+  ASSERT(!((uintptr_t) p & (CPU_PAGE_SIZE-1)));
   len = big_round(len);
 #ifdef CONFIG_DEBUG
   p -= CPU_PAGE_SIZE;