Searched refs:dboot_multiboot2_highest_addr (Results 1 – 3 of 3) sorted by relevance
53 extern paddr_t dboot_multiboot2_highest_addr(multiboot2_info_header_t *);
443 dboot_multiboot2_highest_addr(multiboot2_info_header_t *mbi) in dboot_multiboot2_highest_addr() function
1723 addr = dboot_multiboot2_highest_addr(mb2_info); in dboot_multiboot_highest_addr()