Lines Matching defs:kernel_mapping_size
7071 vm_map_size_t kernel_mapping_size;
7111 kernel_mapping_size = PAGE_SIZE;
7116 &kernel_mapping_size,
7125 kernel_mapping_size = 0;
7169 if (kernel_mapping_size != 0) {
7172 kernel_mapping_offset + kernel_mapping_size);
7210 vm_map_size_t kernel_mapping_size;
7239 kernel_mapping_size = PAGE_SIZE;
7244 &kernel_mapping_size,
7253 kernel_mapping_size = 0;
7291 if (kernel_mapping_size != 0) {
7897 vm_map_size_t kernel_mapping_size;
7919 kernel_mapping_size = PAGE_SIZE;
7924 &kernel_mapping_size,
7933 kernel_mapping_size = 0;
7950 if (kernel_mapping_size != 0) {