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