Searched refs:mb_pointer (Results 1 – 3 of 3) sorted by relevance
344 uint32_t mb_pointer; member350 uint64_t mb_pointer; member391 uint32_t mb_pointer; member397 uint64_t mb_pointer; member
1744 efi64tagp->mb_pointer; in dboot_multiboot_get_fwtables()1746 efi64tagp->mb_pointer); in dboot_multiboot_get_fwtables()1754 efi32tagp->mb_pointer; in dboot_multiboot_get_fwtables()1756 efi32tagp->mb_pointer); in dboot_multiboot_get_fwtables()
1139 tag->mb_pointer = (uint64_t)(uintptr_t)ST; in multiboot2_exec()1149 tag->mb_pointer = (uint32_t)ST; in multiboot2_exec()