Lines Matching refs:kernel_mapping
327 vm_map_offset_t kernel_mapping;
340 kernel_mapping = 0;
383 &kernel_mapping,
394 map_entry->offset = kernel_mapping - VM_MIN_KERNEL_ADDRESS;
396 src_vaddr = CAST_DOWN(vm_offset_t, kernel_mapping);
397 dst_vaddr = CAST_DOWN(vm_offset_t, kernel_mapping + PAGE_SIZE_64);
477 kernel_mapping,
492 kernel_mapping + PAGE_SIZE_64,
526 (addr64_t) kernel_mapping,
527 (addr64_t) (kernel_mapping + (2 * PAGE_SIZE_64)));
574 if (kernel_mapping != 0) {
577 kernel_mapping,
578 kernel_mapping + (2 * PAGE_SIZE_64),
581 kernel_mapping = 0;