Searched refs:kdp_core_ramdisk_addr (Results 1 – 2 of 2) sorted by relevance
87 extern uint64_t kdp_core_ramdisk_addr;786 if (mdevgetrange(xchar, &kdp_core_ramdisk_addr, &kdp_core_ramdisk_size) != 0) { in IOFindBSDRoot()788 kdp_core_ramdisk_addr = 0; in IOFindBSDRoot()
152 uint64_t kdp_core_ramdisk_addr = 0; variable277 } else if ((kdp_core_ramdisk_addr != 0) && (vaddr == kdp_core_ramdisk_addr)) { in kernel_pmap_present_mapping()