BOOTINFO_ADDR
bi_init(BOOTINFO_ADDR);
bootinfo = (void*) BOOTINFO_ADDR;
bootinfo = (char *)BOOTINFO_ADDR; /* XXX */
bi_init(BOOTINFO_ADDR);
(*entry)(argc, argv, NULL, BOOTINFO_MAGIC, (char *)BOOTINFO_ADDR);
bootinfo = (void *)BOOTINFO_ADDR; /* XXX */
bi_init(BOOTINFO_ADDR);
bi_init(BOOTINFO_ADDR);
BOOTINFO_MAGIC, BOOTINFO_ADDR);
callv, BOOTINFO_MAGIC, BOOTINFO_ADDR);
bi_init(BOOTINFO_ADDR);