ipl_args
printf("IPL args: 0x%x 0x%x 0x%x\n", ipl_args.a0, ipl_args.v0,
ipl_args.v1);
m = ipl_args.v1;
struct ipl_args ipl_args;
ipl_args.a0 = a0;
ipl_args.v0 = v0;
ipl_args.v1 = v1;
"m"(ipl_args.a0),
"m"(ipl_args.v0),
"m"(ipl_args.v1));
bi.bi_mainfo = ipl_args.v1;
extern struct ipl_args ipl_args;