Searched refs:multiboot_header_tag_t (Results 1 – 3 of 3) sorted by relevance
56 multiboot_header_tag_t *tagp = mbh2->mb2_tags; in patch64_mb2()73 tagp = (multiboot_header_tag_t *) in patch64_mb2()
123 } multiboot_header_tag_t; typedef137 multiboot_header_tag_t mb2_tags[];
140 multiboot_header_tag_t *tag; in multiboot2_loadfile()205 tag = (multiboot_header_tag_t *)((uintptr_t)tag + in multiboot2_loadfile()