Searched refs:efi64tagp (Results 1 – 1 of 1) sorted by relevance
1732 multiboot_tag_efi64_t *efi64tagp = NULL; in dboot_multiboot_get_fwtables() local1739 efi64tagp = (multiboot_tag_efi64_t *) in dboot_multiboot_get_fwtables()1741 if (efi64tagp != NULL) { in dboot_multiboot_get_fwtables()1744 efi64tagp->mb_pointer; in dboot_multiboot_get_fwtables()1746 efi64tagp->mb_pointer); in dboot_multiboot_get_fwtables()