perry 56c01cbd82 change second parm of sysarch() from char * to void *		1998-02-25 21:24:56 +00:00
..
Makefile	…
arm32_drain_writebuf.2	…
arm32_drain_writebuf.c	…
arm32_sync_icache.2	…
arm32_sync_icache.c	…
shlib_version	…