MARK_MAX
u_long marks[MARK_MAX]; /* loader mark pointers */
u_long marks[MARK_MAX];
u_long marks[MARK_MAX];
u_long fmemsz, cmemsz, ksize, marks[MARK_MAX];
u_long marks[MARK_MAX];
u_long marks[MARK_MAX];
u_long marks[MARK_MAX];
memset(marks, 0, sizeof(*marks) * MARK_MAX);
u_long marks[MARK_MAX];
unsigned long marks[MARK_MAX];
u_long marks[MARK_MAX];
u_long marks[MARK_MAX];
u_long marks[MARK_MAX];
u_long marks[MARK_MAX];
u_long marks[MARK_MAX];
u_long marks[MARK_MAX];
u_long marks[MARK_MAX];
u_long marks[MARK_MAX];
physaddr_t loadaddr, int floppy, u_long marks[MARK_MAX])
physaddr_t loadaddr, int floppy, u_long marks[MARK_MAX])
u_long marks[MARK_MAX];
u_long marks[MARK_MAX];
u_long marks[MARK_MAX];/* filled by loadfile() */
u_long marks[MARK_MAX];
u_long marks[MARK_MAX];
u_long marks[MARK_MAX];
u_long marks[MARK_MAX];
u_long marks[MARK_MAX];
u_long marks[MARK_MAX];
u_long marks[MARK_MAX], bp, offs;
u_long marks[MARK_MAX];
u_long marks[MARK_MAX];
u_long marks[MARK_MAX];
u_long marks[MARK_MAX];
u_long marks[MARK_MAX];
u_long marks[MARK_MAX];
u_long marks[MARK_MAX];
u_long marks[MARK_MAX];
u_long marks[MARK_MAX];
unsigned long marks[MARK_MAX];
u_long marks[MARK_MAX];
u_long marks[MARK_MAX];
u_long marks[MARK_MAX];
u_long marks[MARK_MAX], size;
u_long marks[MARK_MAX], bootinfo;
u_long marks[MARK_MAX] = {0};
u_long marks[MARK_MAX];
u_long marks[MARK_MAX];
u_long marks[MARK_MAX];
u_long marks[MARK_MAX];
u_long marks[MARK_MAX];
u_long marks[MARK_MAX];
u_long marks[MARK_MAX];
efi_boot_kernel(u_long marks[MARK_MAX])
efi_boot_kernel(u_long marks[MARK_MAX])
efi_boot_kernel(u_long marks[MARK_MAX])
void efi_boot_kernel(u_long[MARK_MAX]);
u_long marks[MARK_MAX], alloc_size;