1/* srmmu.c */
2extern char *srmmu_name;
3
4extern void (*poke_srmmu)(void);