blob: 5703274ccf89ed52e2b9105b9eff984cfd6b5158 [file] [log] [blame] [edit]
/* srmmu.c */
extern char *srmmu_name;
extern void (*poke_srmmu)(void);