init_sa11x0
vaddr_t init_sa11x0(int, char **, struct bootinfo *);
return init_sa11x0(argc, argv, bi);