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