mips_init
vaddr_t mips_init(uint64_t, uint64_t, uint64_t, uint64_t, char *);
vaddr_t mips_init(register_t, register_t, register_t, register_t);