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