multiboot_tag_module_t
module = (multiboot_tag_module_t *)last_addr;
multiboot_tag_module_t *tag;
tag = (multiboot_tag_module_t *)mb_malloc(sizeof (*tag) + num);
mp = (multiboot_tag_module_t *)
size += sizeof (multiboot_tag_module_t) + len;
multiboot_tag_module_t *module, *mp;
efi_physaddr(multiboot_tag_module_t *module, vm_offset_t addr,
multiboot_tag_module_t *mp;
mp = (multiboot_tag_module_t *)
addr_verify(multiboot_tag_module_t *module, vm_offset_t addr, size_t size)
module = (multiboot_tag_module_t *)
vm_offset_t efi_physaddr(multiboot_tag_module_t *, vm_offset_t,
multiboot_tag_module_t *tagp;
tagp = (multiboot_tag_module_t *)ctx.dboot_iter_tagp;
multiboot_tag_module_t *tagp;
tagp = (multiboot_tag_module_t *)ctx.dboot_iter_tagp;
multiboot_tag_module_t *tagp;
tagp = (multiboot_tag_module_t *)ctx.dboot_iter_tagp;