Searched refs:kmdp (Results 1 – 3 of 3) sorted by relevance
375 caddr_t kmdp; in efi_init() local400 kmdp = preload_search_by_type("elf kernel"); in efi_init()401 if (kmdp == NULL) in efi_init()402 kmdp = preload_search_by_type("elf64 kernel"); in efi_init()403 efihdr = (struct efi_map_header *)preload_search_info(kmdp, in efi_init()
657 caddr_t kmdp; in ram_attach() local665 kmdp = preload_search_by_type("elf kernel"); in ram_attach()666 if (kmdp == NULL) in ram_attach()667 kmdp = preload_search_by_type(ELF_KERN_STR); in ram_attach()668 if (kmdp != NULL) in ram_attach()669 smapbase = (struct bios_smap *)preload_search_info(kmdp, in ram_attach()
1593 caddr_t kmdp; in efi_map_sysctl_handler() local1596 kmdp = preload_search_by_type("elf kernel"); in efi_map_sysctl_handler()1597 if (kmdp == NULL) in efi_map_sysctl_handler()2176 caddr_t kmdp; in probe_efi_fb() local2187 kmdp = preload_search_by_type("elf kernel"); in probe_efi_fb()2188 if (kmdp == NULL) in probe_efi_fb()2233 getmemsize(caddr_t kmdp, u_int64_t first) in getmemsize() argument2618 caddr_t kmdp; in hammer_time() local2660 kmdp = preload_search_by_type("elf kernel"); in hammer_time()2661 if (kmdp == NULL) in hammer_time()[all …]