Lines Matching defs:kernel_mapping_offset
5692 * address "kernel_mapping_offset". Otherwise, we need
5703 vm_map_offset_t kernel_mapping_offset)
5739 if (kernel_mapping_offset == 0) {
5746 kr = vm_paging_map_object(&kernel_mapping_offset,
5761 kernel_vaddr = CAST_DOWN(vm_offset_t, kernel_mapping_offset);
5805 kernel_mapping_offset,
5806 kernel_mapping_offset + kernel_mapping_size);
5831 * address "kernel_mapping_offset". Otherwise, we need
5841 vm_map_offset_t kernel_mapping_offset)
5864 if (kernel_mapping_offset == 0) {
5871 kr = vm_paging_map_object(&kernel_mapping_offset,
5886 kernel_vaddr = CAST_DOWN(vm_offset_t, kernel_mapping_offset);
6089 __unused vm_map_offset_t kernel_mapping_offset)
6096 __unused vm_map_offset_t kernel_mapping_offset)