Lines Matching defs:kernel_mapping_offset
7874 * address "kernel_mapping_offset". Otherwise, we need
7885 vm_map_offset_t kernel_mapping_offset)
7923 if (kernel_mapping_offset == 0) {
7937 &kernel_mapping_offset,
7948 kernel_vaddr = CAST_DOWN(vm_offset_t, kernel_mapping_offset);
7992 kernel_mapping_offset,
7993 kernel_mapping_offset + kernel_mapping_size);
8018 * address "kernel_mapping_offset". Otherwise, we need
8028 vm_map_offset_t kernel_mapping_offset)
8055 if (kernel_mapping_offset == 0) {
8069 &kernel_mapping_offset,
8080 kernel_vaddr = CAST_DOWN(vm_offset_t, kernel_mapping_offset);
8304 __unused vm_map_offset_t kernel_mapping_offset)
8311 __unused vm_map_offset_t kernel_mapping_offset)
8721 vm_map_offset_t kernel_mapping_offset)
8743 if (kernel_mapping_offset == 0) {
8757 &kernel_mapping_offset,
8768 kernel_vaddr = CAST_DOWN(vm_offset_t, kernel_mapping_offset);