BOOTARG_APIVER
marks[MARK_END], BOOTARG_APIVER, &bootinfo);
BOOTARG_APIVER, 0, NULL);
BOOTARG_APIVER, ac, av);