osfmk/ipc/ipc_kmsg.c

2465     boolean_t 			is_task_64bit = (map->max_offset > VM_MAX_ADDRESS);
2498 	if (is_task_64bit) {
2526         size = (is_task_64bit) ?
2613                         user_addr, is_task_64bit, &paddr, &copy, &space_needed, map, &mr);
2619                         user_addr, is_task_64bit, map, space, dest, kmsg, &mr);
3783     boolean_t 			is_task_64bit = (map->max_offset > VM_MAX_ADDRESS);
3812                         (mach_msg_ool_descriptor_t *)&kern_dsc[i], user_dsc, is_task_64bit, map, &mr);
3816                         (mach_msg_ool_ports_descriptor_t *)&kern_dsc[i], user_dsc, is_task_64bit, map, space, kmsg, &mr);
3857     boolean_t is_task_64bit = (map->max_offset > VM_MAX_ADDRESS);
3877                     if(!is_task_64bit)