booke_sstep
void booke_sstep(struct trapframe *);
extern void booke_sstep(struct trapframe *); /* ugly */
booke_sstep(tf);