Searched refs:kdp_core_ramdisk_addr (Results 1 – 2 of 2) sorted by relevance
88 extern uint64_t kdp_core_ramdisk_addr;798 if (mdevgetrange(xchar, &kdp_core_ramdisk_addr, &kdp_core_ramdisk_size) != 0) { in IOFindBSDRoot()800 kdp_core_ramdisk_addr = 0; in IOFindBSDRoot()
157 uint64_t kdp_core_ramdisk_addr = 0; variable387 } else if ((kdp_core_ramdisk_addr != 0) && (vaddr == kdp_core_ramdisk_addr)) { in kernel_pmap_present_mapping()