multiboot2_info_header_t
multiboot2_info_header_t *mbi = NULL;
mbi = (multiboot2_info_header_t *)last_addr;
mbi = (multiboot2_info_header_t *)PTOV(last_addr);
multiboot2_info_header_t *
multiboot2_info_header_t *mbi;
mbi = (multiboot2_info_header_t *)(uintptr_t)chunk->chunk_paddr;
multiboot2_info_header_t *efi_copy_finish(struct relocator *);
extern void *dboot_multiboot2_find_tag(multiboot2_info_header_t *, uint32_t);
extern char *dboot_multiboot2_cmdline(multiboot2_info_header_t *);
extern int dboot_multiboot2_modcount(multiboot2_info_header_t *);
extern uint32_t dboot_multiboot2_modstart(multiboot2_info_header_t *, int);
extern uint32_t dboot_multiboot2_modend(multiboot2_info_header_t *, int);
extern char *dboot_multiboot2_modcmdline(multiboot2_info_header_t *, int);
dboot_multiboot2_get_mmap_tagp(multiboot2_info_header_t *);
extern boolean_t dboot_multiboot2_basicmeminfo(multiboot2_info_header_t *,
extern boolean_t dboot_multiboot2_mmap_get_length(multiboot2_info_header_t *,
extern boolean_t dboot_multiboot2_mmap_get_base(multiboot2_info_header_t *,
extern boolean_t dboot_multiboot2_mmap_get_type(multiboot2_info_header_t *,
extern int dboot_multiboot2_mmap_nentries(multiboot2_info_header_t *);
multiboot2_info_header_t *, int, uint64_t *);
extern boolean_t dboot_multiboot2_efi_mmap_get_base(multiboot2_info_header_t *,
extern boolean_t dboot_multiboot2_efi_mmap_get_type(multiboot2_info_header_t *,
extern int dboot_multiboot2_efi_mmap_nentries(multiboot2_info_header_t *);
extern paddr_t dboot_multiboot2_highest_addr(multiboot2_info_header_t *);
dboot_multiboot2_iterate(multiboot2_info_header_t *mbi,
dboot_multiboot2_cmdline(multiboot2_info_header_t *mbi)
dboot_multiboot2_modcount(multiboot2_info_header_t *mbi)
dboot_multiboot2_modstart(multiboot2_info_header_t *mbi, int index)
dboot_multiboot2_modend(multiboot2_info_header_t *mbi, int index)
dboot_multiboot2_modcmdline(multiboot2_info_header_t *mbi, int index)
dboot_multiboot2_get_mmap_tagp(multiboot2_info_header_t *mbi)
dboot_multiboot2_get_efi_mmap_tagp(multiboot2_info_header_t *mbi)
dboot_multiboot2_basicmeminfo(multiboot2_info_header_t *mbi,
dboot_multiboot2_mmap_get_type(multiboot2_info_header_t *mbi, int index,
dboot_multiboot2_mmap_get_length(multiboot2_info_header_t *mbi, int index,
dboot_multiboot2_mmap_get_base(multiboot2_info_header_t *mbi, int index,
dboot_multiboot2_mmap_nentries(multiboot2_info_header_t *mbi)
dboot_multiboot2_efi_mmap_get_type(multiboot2_info_header_t *mbi, int index,
dboot_multiboot2_efi_mmap_get_length(multiboot2_info_header_t *mbi, int index,
dboot_multiboot2_efi_mmap_get_base(multiboot2_info_header_t *mbi, int index,
dboot_multiboot2_efi_mmap_nentries(multiboot2_info_header_t *mbi)
dboot_multiboot2_highest_addr(multiboot2_info_header_t *mbi)
dboot_multiboot2_first_tag(multiboot2_info_header_t *mbi)
dboot_multiboot2_find_tag(multiboot2_info_header_t *mbi, uint32_t tag)
multiboot2_info_header_t *mb2_info;
mb2_info = (multiboot2_info_header_t *)(uintptr_t)mb_addr;
multiboot2_info_header_t *mbi = xbp->bi_mb_info;