/*
- * The x86 Linux incarnation of arch-dependent OS-dependent routines.
- * See also linux-os.c
- */
-
+ * This is the Compaq/Digital Alpha Linux incarnation of
+ * arch-dependent OS-dependent routines. See also "linux-os.c". */
-/* header files lifted wholesale from linux-os.c, some may be redundant */
+/*
+ * This software is part of the SBCL system. See the README file for
+ * more information.
+ *
+ * This software is derived from the CMU CL system, which was
+ * written at Carnegie Mellon University and released into the
+ * public domain. The software is in the public domain and is
+ * provided with absolutely no warranty. See the COPYING and CREDITS
+ * files for more information.
+ */
+/* These header files were lifted wholesale from linux-os.c, some may
+ * be redundant. -- Dan Barlow ca. 2001-05-01 */
#include <stdio.h>
#include <sys/param.h>
#include <sys/file.h>
#include <sys/types.h>
#include <signal.h>
-/* #include <sys/sysinfo.h> */
#include <sys/time.h>
#include <sys/stat.h>
#include <unistd.h>
size_t os_vm_page_size;
#if defined GENCGC /* unlikely ... */
+#error SBCL Alpha does not work with the GENCGC
#include "gencgc.h"
#endif
void os_flush_icache(os_vm_address_t address, os_vm_size_t length)
{
- /* XXX this really shouldn't be empty
-
-<dhd> dan_b: asm volatile ("call_pal imb")
-<dhd> or just "imb"
-<dhd> also : : "memory"
-
- */
+ asm volatile ("imb" : : : "memory" );
}