#if defined(alpha_TARGET_ARCH)
/* To get the definition of PAL_imb: */
-#include <machine/pal.h>
+# if defined(linux_TARGET_OS)
+# include <asm/pal.h>
+# else
+# include <machine/pal.h>
+# endif
#endif
#if defined(ia64_TARGET_ARCH)
while(n--)
{
__asm__ volatile ("dcbf 0,%0\n\tsync\n\ticbi 0,%0"
- : : "g" (p));
+ : : "r" (p));
p++;
}
__asm__ volatile ("sync\n\tisync");
#endif
*((unsigned char*)ptr) = '\0';
- free(ptr);
+ stgFree(ptr);
}