blob: 5703274ccf89ed52e2b9105b9eff984cfd6b5158 [file] [log] [blame]
Sam Ravnborgaccf0322012-05-19 20:02:49 +00001/* srmmu.c */
2extern char *srmmu_name;
3
4extern void (*poke_srmmu)(void);