Searched refs:dboot_multiboot2_modend (Results 1 – 3 of 3) sorted by relevance
33 extern uint32_t dboot_multiboot2_modend(multiboot2_info_header_t *, int);
189 dboot_multiboot2_modend(multiboot2_info_header_t *mbi, int index) in dboot_multiboot2_modend() function
1114 return (dboot_multiboot2_modend(mb2_info, index)); in dboot_multiboot_modend()