Searched refs:multiboot_tag_efi32_t (Results 1 – 3 of 3) sorted by relevance
345 } multiboot_tag_efi32_t; typedef
1143 multiboot_tag_efi32_t *tag; in multiboot2_exec()1144 tag = (multiboot_tag_efi32_t *) in multiboot2_exec()
1733 multiboot_tag_efi32_t *efi32tagp = NULL; in dboot_multiboot_get_fwtables()1748 efi32tagp = (multiboot_tag_efi32_t *) in dboot_multiboot_get_fwtables()