Lines Matching refs:kmdp
83 caddr_t kmdp;
90 kmdp = preload_search_by_type("elf kernel");
91 if (kmdp == NULL)
92 kmdp = preload_search_by_type("elf64 kernel");
93 efifb = (struct efi_fb *)preload_search_info(kmdp,
107 caddr_t kmdp;
113 kmdp = preload_search_by_type("elf kernel");
114 if (kmdp == NULL)
115 kmdp = preload_search_by_type("elf64 kernel");
116 efifb = (struct efi_fb *)preload_search_info(kmdp,