srmmu.h 73 Bytes edit raw blame history 1 2 3 4 /* srmmu.c */ extern char *srmmu_name; extern void (*poke_srmmu)(void);