kaddr_t
kaddr_t sp;
void boot_func_pxa2x0(kaddr_t, kaddr_t, kaddr_t, kaddr_t);
void FlatJump_pxa2x0(kaddr_t, kaddr_t, kaddr_t, kaddr_t);
kaddr_t sp;
void boot_func_sa1100(kaddr_t, kaddr_t, kaddr_t, kaddr_t);
void FlatJump_sa1100(kaddr_t, kaddr_t, kaddr_t, kaddr_t);
kaddr_t kernel_entry;
kaddr_t argc;
kaddr_t argv;
kaddr_t bootinfo;
kaddr_t *argv = reinterpret_cast <kaddr_t *>(v);
virtual kaddr_t jumpAddr(void) = 0;
kaddr_t
kaddr_t jumpAddr(void);
kaddr_t
kaddr_t jumpAddr(void);
kaddr_t sp;
kaddr_t sp;
virtual void jump(kaddr_t info, kaddr_t pvec);