Home
last modified time | relevance | path

Searched refs:kmdp (Results 1 – 3 of 3) sorted by relevance

/dragonfly/sys/platform/pc64/x86_64/
HDefirt.c375 caddr_t kmdp; in efi_init() local
400 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()
HDnexus.c657 caddr_t kmdp; in ram_attach() local
665 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()
HDmachdep.c1593 caddr_t kmdp; in efi_map_sysctl_handler() local
1596 kmdp = preload_search_by_type("elf kernel"); in efi_map_sysctl_handler()
1597 if (kmdp == NULL) in efi_map_sysctl_handler()
1598 kmdp = preload_search_by_type("elf64 kernel"); in efi_map_sysctl_handler()
1599 efihdr = (struct efi_map_header *)preload_search_info(kmdp, in efi_map_sysctl_handler()
2176 caddr_t kmdp; in probe_efi_fb() local
2187 kmdp = preload_search_by_type("elf kernel"); in probe_efi_fb()
2188 if (kmdp == NULL) in probe_efi_fb()
2189 kmdp = preload_search_by_type("elf64 kernel"); in probe_efi_fb()
2190 efifb = (struct efi_fb *)preload_search_info(kmdp, in probe_efi_fb()
[all …]