mips_init
mips_init(uint64_t argc, uint64_t argv, uint64_t envp, uint64_t cv,
mips_init(register_t a0, register_t a1, register_t a2, register_t a3)