From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on aws-us-west-2-korg-lkml-1.web.codeaurora.org Received: from kanga.kvack.org (kanga.kvack.org [205.233.56.17]) by smtp.lore.kernel.org (Postfix) with ESMTP id CDC25C282DE for ; Thu, 13 Mar 2025 14:58:08 +0000 (UTC) Received: by kanga.kvack.org (Postfix) id B407D280003; Thu, 13 Mar 2025 10:58:07 -0400 (EDT) Received: by kanga.kvack.org (Postfix, from userid 40) id ACACA280002; Thu, 13 Mar 2025 10:58:07 -0400 (EDT) X-Delivered-To: int-list-linux-mm@kvack.org Received: by kanga.kvack.org (Postfix, from userid 63042) id 8A790280003; Thu, 13 Mar 2025 10:58:07 -0400 (EDT) X-Delivered-To: linux-mm@kvack.org Received: from relay.hostedemail.com (smtprelay0011.hostedemail.com [216.40.44.11]) by kanga.kvack.org (Postfix) with ESMTP id 5FCDB280002 for ; Thu, 13 Mar 2025 10:58:07 -0400 (EDT) Received: from smtpin26.hostedemail.com (a10.router.float.18 [10.200.18.1]) by unirelay08.hostedemail.com (Postfix) with ESMTP id 48F7314016B for ; Thu, 13 Mar 2025 14:58:07 +0000 (UTC) X-FDA: 83216833014.26.BF26A76 Received: from mgamail.intel.com (mgamail.intel.com [192.198.163.19]) by imf30.hostedemail.com (Postfix) with ESMTP id 46B6E8000E for ; Thu, 13 Mar 2025 14:58:03 +0000 (UTC) Authentication-Results: imf30.hostedemail.com; dkim=pass header.d=intel.com header.s=Intel header.b=ZydzKugJ; dmarc=pass (policy=none) header.from=intel.com; arc=reject ("signature check failed: fail, {[1] = sig:microsoft.com:reject}"); spf=pass (imf30.hostedemail.com: domain of maciej.wieczor-retman@intel.com designates 192.198.163.19 as permitted sender) smtp.mailfrom=maciej.wieczor-retman@intel.com ARC-Seal: i=2; s=arc-20220608; d=hostedemail.com; t=1741877883; a=rsa-sha256; cv=fail; b=PVhkYcHXc2yWLwW95Hjn/YekakvvlA4Q2ottMX0HV3MEfggheG2iuwOYItzpaPfuXIq6Ak TSkUNKQG95T4WlBUtJLvvo1c5wwkYYCpu90fBxrNmKcJ2m/2cf2n8aUB5ijZphvPQ6SAfg hDJF2Em0/lj9krytaxRdaOSp5ho2cEA= ARC-Authentication-Results: i=2; imf30.hostedemail.com; dkim=pass header.d=intel.com header.s=Intel header.b=ZydzKugJ; dmarc=pass (policy=none) header.from=intel.com; arc=reject ("signature check failed: fail, {[1] = sig:microsoft.com:reject}"); spf=pass (imf30.hostedemail.com: domain of maciej.wieczor-retman@intel.com designates 192.198.163.19 as permitted sender) smtp.mailfrom=maciej.wieczor-retman@intel.com ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=hostedemail.com; s=arc-20220608; t=1741877883; h=from:from:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references:dkim-signature; bh=SllR83UJovzdBijlIETqhAHdZ5gyvP2G3vBnB5dgoV4=; b=CT/A5EW/GOMJ/ptBOKymERKiGYEs187Bx6eoOUufg3FgNlWis35wzvD7z9HmO1N0OeAh+p dYzFyjfjGTfWew/sKwHKsRaxsk+gZNbtjwbNMWlkU/Sa2109WyiSG3oMy/3g1riMQBHPBr DurNrIj/1GUiWbZihHQf+qg73uRG2qU= DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=intel.com; i=@intel.com; q=dns/txt; s=Intel; t=1741877883; x=1773413883; h=date:from:to:cc:subject:message-id:references: content-transfer-encoding:in-reply-to:mime-version; bh=ScvO+uGa6Cu71R47nov5duJdr/4LuYjrHiPe4z2bhnM=; b=ZydzKugJPjGd8DVxlw412k70qyJThDDpXm+u94Qa5eKvhVqGoxvnYVt2 ndO2iu81GhROQ4L3HvEc5PWkTutXbjA8W9AVmQUEf5YC7hYFQYBH5/iIv SUxslsVQJaldAcfaV61JSvr560QiMwKeEqjulAYG/x3SyymQgLC4eUJjE k0hvwVb+5kmhlx0iNLxfpkI1VK3YczeztmfZGsN2deO8X0yjNXzoamOlN 1BgOp7LbyxJjxmJ62JtK2JcJ+b76YAJlCiWexreHzzPNBtaje62XX3hY0 5sMK1CQaPesQP+vhRNUYEwGGMrJ5KT541eDtXRxt4b369+PmCw0m1Z79x A==; X-CSE-ConnectionGUID: +Nl5qmOXQ2m6aONaj0VtGg== X-CSE-MsgGUID: JAJkBL98QOS4BHcuPtnhcw== X-IronPort-AV: E=McAfee;i="6700,10204,11372"; a="42169085" X-IronPort-AV: E=Sophos;i="6.14,245,1736841600"; d="scan'208";a="42169085" Received: from orviesa005.jf.intel.com ([10.64.159.145]) by fmvoesa113.fm.intel.com with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 13 Mar 2025 07:56:57 -0700 X-CSE-ConnectionGUID: HK2TIh4dQH6P5wM8oo/SLg== X-CSE-MsgGUID: E9vKw5DkSIeDS9sEwW2JwA== X-ExtLoop1: 1 X-IronPort-AV: E=Sophos;i="6.14,245,1736841600"; d="scan'208";a="126152959" Received: from orsmsx903.amr.corp.intel.com ([10.22.229.25]) by orviesa005.jf.intel.com with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 13 Mar 2025 07:56:56 -0700 Received: from ORSMSX903.amr.corp.intel.com (10.22.229.25) by ORSMSX903.amr.corp.intel.com (10.22.229.25) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.2.1544.14; Thu, 13 Mar 2025 07:56:56 -0700 Received: from orsedg603.ED.cps.intel.com (10.7.248.4) by ORSMSX903.amr.corp.intel.com (10.22.229.25) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.2.1544.14 via Frontend Transport; Thu, 13 Mar 2025 07:56:56 -0700 Received: from NAM10-BN7-obe.outbound.protection.outlook.com (104.47.70.45) by edgegateway.intel.com (134.134.137.100) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.1.2507.44; Thu, 13 Mar 2025 07:56:55 -0700 ARC-Seal: i=1; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=none; b=At/jnnBFuTRl0X0YcTm4/XOaGmzDxqKWirv7BH1GSvx+vpAZeokuetn877FYPBRZvKwm72uEX2oq4XvQPDLC1MKzgYCzy0dklkrTWxKwU2AaJvHORxlDYjlftukWRSbVLlaP0G3M2CyNPxAFXGlYeSE5WiTtTXvH5ZlEqxxOym9fruoVo4s+3stFj4T2elmnsFzkSyOptBcDE4majiqFxaLDwjkiY5ZDkodd4fl9qagbmxG4JspHMprizmPbG05Be5NhUjwmqYKks8nSUVO9bSzbnGwC7gITNdnqwkIs2iteVjpF2Fp/ydwbYbrq8fwkm8fzXGeMYDWwXZW6jN+74A== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector10001; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=SllR83UJovzdBijlIETqhAHdZ5gyvP2G3vBnB5dgoV4=; b=ansXPUOJ+WhykJAmorN43YFjEe1xO7R8e9ejp31JjwV7RIr7UB9/ngJgA/TNM1rscOb2PAfjV/tySQvoKA0jI8ze4NuBdmOp0kyVS1iE/F5zTj44LzFqEwj5kr0i48YT3oSgN4nUAuW4DMXldV1rr6BhmS21xyCfYeAwOiEO0tADObS4hpj6msz46Rr9fZOa9Ohtj283+VINmTkaG5+tCALgeBgJEKgJWjiMzgOO5uoFhS8iBPu8RIhhsuURYlPFFzrVCfRrbvzhk8hKQ+CojSrDwdpxPBlpVgFaWd3B5WZa5x6YKEMhZELB950ZgHJIvDPOlKhd4IoQwR5s9h7SFQ== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=intel.com; dmarc=pass action=none header.from=intel.com; dkim=pass header.d=intel.com; arc=none Received: from MN0PR11MB6231.namprd11.prod.outlook.com (2603:10b6:208:3c4::15) by IA1PR11MB7889.namprd11.prod.outlook.com (2603:10b6:208:3fe::20) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.8511.27; Thu, 13 Mar 2025 14:56:39 +0000 Received: from MN0PR11MB6231.namprd11.prod.outlook.com ([fe80::a137:ffd0:97a3:1db4]) by MN0PR11MB6231.namprd11.prod.outlook.com ([fe80::a137:ffd0:97a3:1db4%4]) with mapi id 15.20.8511.026; Thu, 13 Mar 2025 14:56:39 +0000 Date: Thu, 13 Mar 2025 15:56:00 +0100 From: Maciej Wieczor-Retman To: Andrey Konovalov CC: Vitaly Buka , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , Subject: Re: [PATCH v2 01/14] kasan: sw_tags: Use arithmetic shift for shadow computation Message-ID: References: <6wdzi5lszeaycdfjjowrbsnniks35zhatavknktskslwop5fne@uv5wzotu4ri4> Content-Type: text/plain; charset="utf-8" Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: X-ClientProxiedBy: DU2P250CA0018.EURP250.PROD.OUTLOOK.COM (2603:10a6:10:231::23) To MN0PR11MB6231.namprd11.prod.outlook.com (2603:10b6:208:3c4::15) MIME-Version: 1.0 X-MS-PublicTrafficType: Email X-MS-TrafficTypeDiagnostic: MN0PR11MB6231:EE_|IA1PR11MB7889:EE_ X-MS-Office365-Filtering-Correlation-Id: 091e5ac4-e2db-47d6-97dc-08dd623f4225 X-LD-Processed: 46c98d88-e344-4ed4-8496-4ed7712e255d,ExtAddr X-MS-Exchange-SenderADCheck: 1 X-MS-Exchange-AntiSpam-Relay: 0 X-Microsoft-Antispam: BCL:0;ARA:13230040|376014|7416014|366016|1800799024; X-Microsoft-Antispam-Message-Info: =?utf-8?B?LzVtR1BjUkV6U3h0RkFNVzlsaVQ1QzFmaFRSK2ZrenJ5T2I2dEYrNkFRcDFE?= =?utf-8?B?NFB2VHNQV09CZysyMzNKcFEvK0FYVENPamM5cXpIcXRLbGNnaWh2TjZUL3lH?= =?utf-8?B?SU1KQzdoZnpDZndZTlZOUElZY2NiWkM2Q3JlSWQvTHRCa2lOUGJUYjNNWDU4?= =?utf-8?B?eFRuZWZHNEVMS2dVK2RjYUdmVS9oUmFra3hKUUNTSmE0bXpvRU9vOTR3MDhj?= =?utf-8?B?N0c2WUl6eGh1cURvZUZiWVQ1elVDOVJDSnIrNCthNVIxcnZ3NzZNbVdJUDIy?= =?utf-8?B?WmdnLzA3RkYyMFdWSTgzTkg4TjBVL0d0djc1dG93eE9VdHhyNHNTOG15VTVt?= =?utf-8?B?Mkx3UlpWSlhtMU5Ld2l0VHkzRlJiWnBobllDTnp0dTFlQVpMekNGWG43MXVz?= =?utf-8?B?K3RsZjB5Q3JGK3dWYk94Zld3aG5iN0x2bXZJUlJoVzhpTytSYzY2THF0VXFK?= =?utf-8?B?VnJqK2tPQW04RHVSUU50eFJMR2dBKzd4Z09hQzB2V0ZsSk9hczZtb3lBdEpa?= =?utf-8?B?Z3ZIQmRWaXhnakJ2TXhYVk45ZUhKeityUHFyNDNTbXR0STQ1c2lzajZxR2xT?= =?utf-8?B?TXFqNTlLQlIrS1Q1Z21PK3dxc0piMmdpeFJpcnAvT0dZN2tXd25wbTJBMUlX?= =?utf-8?B?Q3JEMStUZk54UThIakRoN05Qd0ZKSFd5eHU2czdZeStLNi9uYVViUm5YcnhI?= =?utf-8?B?dEgyaHAwZ2dzN1BxNWR3ZEZYZExQSm1yVVVlU0hNRTNacUIwV25OajFTQ1Vl?= =?utf-8?B?azk4Qk9rZElBZ1gxQXRYM2l0U01PTDB6UmtaUkZjQTRVUG5veEhQL2w3Zk43?= =?utf-8?B?ME9yWXBGeUhJL0hGNlpNT1hrQWNvSmNLZ25Vb29Wc3VFN0ZCdWN1LzcwWVV0?= =?utf-8?B?V0p4dFlLNDcxSWR0Z0kyUTVzNkM2b29icTZPalZWV1pnM2dEN0w4U1FCQzNK?= =?utf-8?B?V0hmQU10ZWVwTm5PTXBxQU45WWZnR2VLVGxZcGU2VTd0QnNuWGNLZzYvWm13?= =?utf-8?B?LzFXWDlYeTFCUnlNWTBvcHpZcmpaei9mVFRIeFNZWCtrV0VNR0RDdnkvWTJi?= =?utf-8?B?SXY5b2h6Zzc5VkxVSVpVNFd0enh0aG5GQ0Y3VEpFYVVialJyVktxTlZLK2dJ?= =?utf-8?B?d1hlTG1EdUFMNW91TXo4MzJud1RrU0Ztd2ptZEpVNWQ1YXlSYVhkOW1rQVpz?= =?utf-8?B?T0RDLzFWWUpRdUk3YytFd0VIbEg3TVNINHk1Y1JOWVBrcHcvOHhMOFFpOXIy?= =?utf-8?B?ZU44SGdwdHd6SVFjK3BKL1dYbkRQei9aVC81VXFtMFVYOWkwcFFYVzNvakRz?= =?utf-8?B?eDRXUlNvZGxPSTlJekxXbkRnbE4rZWVSUCt6SFlUOGhkMlNVSnBMK0hldUph?= =?utf-8?B?QUNqNS9XUEdDVXJVaEdtdlUzcE5xR1FXcVM5QWl0RVVXYUVYN3kwa2pTdnBR?= =?utf-8?B?azNXRG5FdDJOVzJLQVFpK2U5VmFvQlBvU2tIUTZwRkZzV3BsdmhraGR1enVh?= =?utf-8?B?U00xK0NiMVg3ZTc3MUlEVzRvSm5NYXhLNXpoYndCMlRLVXZOcTQvWWoyUUJP?= =?utf-8?B?SWlyTE5ROEdnNi8wS09HMzVyT1E0NHhIKzk0VlBZcEYzWkIyaWFtMFAxTUFr?= =?utf-8?B?akhZSkE0OGdSZWRRY3FBM3pDQVh5SFc2dFdHQnFqdHZYSDZjT3Y3QVFDY3lB?= =?utf-8?B?VWl2alRKKzJkL2lMdU1FZG12dnRxV0RHQmcraVc2d1NQZjJYSVpiWW53cWdY?= =?utf-8?B?NC9VVVhYY1Y4ZnZYT3BYNS9LZEV1WVBsTG1kakRMTGZPdkx0eHRwMnozeHFT?= =?utf-8?B?SmlqeCtzUWtJU2trVzdRNXJHMCt2Y2NZZUg3ZWlkQU1jQnBKSm8wOXdsZWt3?= =?utf-8?Q?m45oehChbEcbn?= X-Forefront-Antispam-Report: CIP:255.255.255.255;CTRY:;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:MN0PR11MB6231.namprd11.prod.outlook.com;PTR:;CAT:NONE;SFS:(13230040)(376014)(7416014)(366016)(1800799024);DIR:OUT;SFP:1101; X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1 X-MS-Exchange-AntiSpam-MessageData-0: =?utf-8?B?cEdHb2E5c0FiYklzRjBaUHNBQURFd2hmRUtWd2xyYXhaT0w0cWFqelJMcGdt?= =?utf-8?B?bk9sZk9Qb1JZQTlmcFFxMmdxMDdGZWxHTmZldm5SWWtiM1VEUndNdklzZm90?= =?utf-8?B?NVM5Ykd5Um9weGdlc3lsU293RWNOdEl6d2wzQk45UzNXTUhRQlJIVmgzenUw?= =?utf-8?B?SURpeWRpdDlsYlM5dFQrWk15a0kxSncxZ1RLOWlPMlNCdjg3eWhRcjJ6QTZE?= =?utf-8?B?NFZLM0crcE1BM3FObFR5QXlQOUhrWlpBV2tQNk83NlhYcmhlaDRHTitZUTNw?= =?utf-8?B?blVPWDdtZUF3N2VuR1pLWm8yUDl3TGo4MjZDRjBqMDRqVklqU0Q5ODhHaTB0?= =?utf-8?B?bzVFeThEaEJhV2dNU0dFRUtTVkliVThaeExOeWlrOW0xbk1XYVhOVXZGdnFO?= =?utf-8?B?RXZDUG1UUU1SY2NJVVhnTVJ2R2UwSkVZak9KM3cyL2lBR3kzdXVHNk9ENkUw?= =?utf-8?B?MWt1MlN6aVFycHlKQk44b3ozK3BVRjN2aHhYVE1GVCtFejJvRXlEVERvZEk4?= =?utf-8?B?SXRHZ3VIMXB1dTcyZjhURHhpWHpxOEdBTDFoMzEvUSt1alA2bjczOTRaYmpS?= =?utf-8?B?NVFOZStSRVlNb0dWbXVlUC9mRkVHNmt0cTMyVHQrVjZFWXlaL2czUk1oL2Jv?= =?utf-8?B?SGJMbHArTk8zZUhCQVRPVU9qQTI2aWpGaHg5dmlTWW5oR3QvYUo2ZXgrZGJX?= =?utf-8?B?bUxodEFUT0QwWGkvNloyZmFFcTV0emhYWnRuQ3BkanBzWXFIYVBUK3BFdkJC?= =?utf-8?B?M1FzSDZ4RUhZNzNFU2RDcmtvUDgzYTRaQ2hDbDlDK2ZoZnB1SEIzWjVnOTM5?= =?utf-8?B?VjAxcWVkMXhHTTFOU3VmN2RrZXVISTVBTnV5NGRBOEdQc0xyczBycTlWUWoz?= =?utf-8?B?clpzK2F6NFRBRUNGRTNmaTdNcjdKVEVqcEZuRjNnZHBVUUgzTmpXVUNmWjEx?= =?utf-8?B?eENoN2thN3RlcW5XSDZpTjlkY3VLUjVTQjFuR1dpQ0tNbUE5cHZJSCtpVFV1?= =?utf-8?B?R2tWUHhnTUJOUW1sWGwxcEt2UXVFRjNVNnRORVQ0VnlIaU1WbkpXWmtCYWtZ?= =?utf-8?B?SFJyQm5aRko5OHNhN3ljdDlUK3E5aHQ5d3VCUkpJcWVuMk9mTks1VFFYNWFp?= =?utf-8?B?VXUweWpJYUJLY3ljd1pjQXB0bENGaFBzSXJDK01ET2lUYXhsNFZYcEM1WFIr?= =?utf-8?B?ZGF5RGR3Nm05VUZEcW9YZVlXa1JjKzFubWVjeFdCYmVHVHFQZEdzZzhoRmVF?= =?utf-8?B?RzROYWcrcHZidVRmMWV4aDlWK3JXVlZ4WkJDK3BxcmlFSEVCQmZsWEZ4eDk4?= =?utf-8?B?MUJ3ZWFxc201WkRuY0lrNVJNdU04L0R2UDI1ci96WGJGb081WWlrM2hEYlpv?= =?utf-8?B?cTVMTGt2L0tpUlFrRHVGZ1ZKWTU2K1JYU2tjVjQweGpJTHExbmo5ZDFmU09E?= =?utf-8?B?bTBqWG1UK3JnMGNiL0Zuc3Jna1lYcXNmeGY4eEVxU1RrblVtMGpBZTRnOHFQ?= =?utf-8?B?Z1hOSS9wTGFuQ0dHSThNTWZiUldkaklsRXVoZkpvclozd2R3TG0wZ2JHbmlH?= =?utf-8?B?YlVYeHJ2T0ZDc2lTdjhOZmI1LzZxYml5Qk0xYWoyYTBlNVVrRC9QWnBHNzJt?= =?utf-8?B?RGdJMGlNNlRKMlRtMU1tR0JFY2ZjbjdlbXhKekFlQVlTbTZ4RFp5cGhKdndr?= =?utf-8?B?VE1qZDFLK0M4TGx1QjZYcFdjcnJ1VmJMM0g4OHBzQ2hIWWtISi9jazZONi80?= =?utf-8?B?QnF2bis1TjFTNGNjWmxWdldkVFJxMytLOEg0RHFxa3dCUVk0dFFRY2JQTG9Q?= =?utf-8?B?L2Rhc2E2YlRNREphQTFZUHlMSUozYldxU3piTEpITkNvUnd1UnRHNUw0ZUgv?= =?utf-8?B?RU9iUWZQRHAweTV0NURrdzhTbGJHbkVkR0RzRk1CN21DeDZ4dFl5ZmdkSFlC?= =?utf-8?B?YlRnODVFN2RGdUdQUWNzblFidE54eEk3YTNhTmEvMGZWRDVUc0RkL2l0ZjNY?= =?utf-8?B?eThWTS8ra2VjVHdSTzA2aHRrWklFdTE4eXFpMEdyOEF4RXNYU05jOS9TMWUw?= =?utf-8?B?TlVTdFpua1pSQlJzeWgxVDRySTVUSUoxdjJoRnR2c2J4M2NOSXd1enp3dXlS?= =?utf-8?B?Z0tlOTYxTGxsOVloTUdrdS9YU1dpRm1sNkp0dXJOUzNDdzEyaElQN2FEdUtB?= =?utf-8?Q?lrNBja8CdMfvJwvS7fJhsNk=3D?= X-MS-Exchange-CrossTenant-Network-Message-Id: 091e5ac4-e2db-47d6-97dc-08dd623f4225 X-MS-Exchange-CrossTenant-AuthSource: MN0PR11MB6231.namprd11.prod.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-OriginalArrivalTime: 13 Mar 2025 14:56:39.1191 (UTC) X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted X-MS-Exchange-CrossTenant-Id: 46c98d88-e344-4ed4-8496-4ed7712e255d X-MS-Exchange-CrossTenant-MailboxType: HOSTED X-MS-Exchange-CrossTenant-UserPrincipalName: Ezb2HHR9qIz+yZvbV/wATed0lz3eodz8Blv51kJEMCwMJvFqlKduKWVRTVBwux1MiEQ3A49MeQZLUAO60OkuV3HgHOyADUnJ304ZSyD0yrU= X-MS-Exchange-Transport-CrossTenantHeadersStamped: IA1PR11MB7889 X-OriginatorOrg: intel.com X-Stat-Signature: 7mxffmmgyfsi8pstuxd59zmrro76sc6d X-Rspamd-Server: rspam12 X-Rspamd-Queue-Id: 46B6E8000E X-Rspam-User: X-HE-Tag: 1741877883-949791 X-HE-Meta: U2FsdGVkX1940CL98ZO/3VKIymPjl773leZFnPEk7PV2iLCGOOR6ipABtDaVw0ZlBU/muFuFKdH2uM9I+vRDla5HAqrR4dWYg+SzKDogRVV1+dEFeKcJx4maKWZVpyk4C2ZK0HsjDzocGO674VghhS7upsRwOc0yGsT3uI4uJjesQglO5UHcKPBNZRwqpfdQSM3NhYEHpsHGR+OB4IZsGO/tm3oDtOry42IEnLtaJx1H1RAY8QfddjsxXr47rl1amlPjRqg1+q2XtVJppCrEfueMgjxGeV7NzjG+RwVRa1Ki4fUrpGAnN5E5xk2EmODIwhjPYwhMMVw3kCoQbv1J+ym1gl/rDXxX8Cl/FBBbg2AO4NC7qDAK7GCxI9NV75nhnrRUUd2mz8VS4ZfffUVySB+skwzpSfdlp08wEKUasUwlYXz/HSjbDdAN4v4dEYD3TN1QLivX85BZnLgiNZVGuVsI3AA0MBmmxE2Ij18iLrQDs/ARv8aObXidESuIY/W4DWTsyTtY6qtEgkrcBneIswMhV771fq+1hJqCEcSFrA1S1Lt61uekJkv1skJwzUCleOSAakyTmv+lwu/XIt75siy7/phvgkICCboK4tUSQrokcEf3ElmNBUJkd7/MXR2LfIykPX8tCM4Zgh1Hmc5sfV0waL54XtqS0wHHW2Q+FbfzJEGoOaxiS6/6HIsj7jBYQA0y80qDpkdO4Se2v0Ue3nezPxlqKKHGh0IniPt4Os4ck2QXZ982dIRqdT/iIOKod8G7BMj3PiUydSb6yt5LNhWDkHQFC11kr9xMV/LZ5e3G4JmN8W9NeFANjNpYLJOjHblqfRF+tpzzP3E44VToTpgS8oMxT0p/HCwdrQjLo3xLpF6WnumCpexb6NMbjeBR4YolScMVdFnZ3O0tDxiaSETm5v69km+5y96EcTKb6MXDzoaDI4wfLxj4AqRGs8NPt6eIpVFce6INWmS2i5A QeDiQx+M 7c48vvzMIkrN56G64tzYh9KHHE+h4hJLXzHe6zj8dvHf+HsaShrZoAoIl6FLTtIoTbOG8qd0aPbGGRVo9pUa+ulY7HxIns1TVhgjojKbm2p8WtrGg8dPHTx2q00scQCE/FKJfWVCnpAirWbtrONIzKohPNyTt7Hla0gtn0RMADklqMrSg75zhM/QUtsZxNZJXEDjm5i7Ri4OBlhzZf7eliBEAqyZT6txm56Mj8Sq5RzaBH1lT4sxZadF4V5j8hEQ/T+MKgf5l2FoXB3Gmj0P+q9L8F4DrtpSZlo+k2Y4x8pkAWSTY1HF8ZX6R3TMQKa3WBO6WPrR9PPYDNtsZ7YBFnaJtbU1wNQP7UORA6pbA2NllHaToqP6RSxRs15cMtOxEbIsCBg25zXedLpuUU3LA4FP2XNqnFWB1zWGL0Yh5f1xC+ezicjQl9gfVeQM3kxkDpgH9vhbRBYNO35AIlb3EnQk2XjrXRKfjA0qVjSNG+Br7cYq3dLf3YQrWTpGiDGlOjJ1711BzkQCHxAhcxH4qkgjCrIKzDY6wTp9+bHHGa692eg1X8AjxWYkpsGOCqZpcKsphfYcpp0uBC5onTB1c5zfDzAyz3k9K+Tq7Sv+m4pGUwY0dLuBqmvDIUd1E4RBgBStE X-Bogosity: Ham, tests=bogofilter, spamicity=0.000000, version=1.2.4 Sender: owner-linux-mm@kvack.org Precedence: bulk X-Loop: owner-majordomo@kvack.org List-ID: List-Subscribe: List-Unsubscribe: On 2025-03-07 at 02:10:39 +0100, Andrey Konovalov wrote: >On Tue, Mar 4, 2025 at 3:08 PM Maciej Wieczor-Retman > wrote: >> >> But looking at the patch you sent I'm wondering - are we treating the arithmetic >> in kasan_mem_to_shadow() as unsigned? > >The shift is signed (arithmetic). But for the addition, it doesn't >matter? Adding an integer to a void* pointer should result in the same >value, regardless of whether the integer is signed or unsigned. Yes, you're right, sorry. > >> You wrote that all the ranges will >> overflow but I thought we're interpreting the arithmetic as signed - so only >> positive addresses will overflow and negative addresses (with bit 63 set) will >> only be more negative thus not causing an overflow. > >Ah, yes, I see what you mean. From the C point of view, calculating >the shadow address for a pointer with bit 63 set can be interpreted as >subtracting from KASAN_SHADOW_OFFSET, and there's no overflow. But on >the assembly level, the compiler should generate the add instruction, >and the addition will overflow in both cases. > >The important thing is that both possible shadow memory ranges are >contiguous (either both start and end overflow or none of them). > >So this was my brain converting things to assembly. Feel free to >reword/clarify the comments. Right, I focused too much on the signed aspect. Treating everything as overflowing sounds better, more unified. > >> That was my assumption when >> writing the previous checks - we need to check below the overflown range, above >> the negative (not overflown) range, and between the two. > >It could be that your checks are equivalent to mine. What I did was to >check that the address lies outside of both contiguous regions, which >makes the checks symmetrical and IMO easier to follow. I drew this out and yeah, it looks like it's the same, just grouping the logical expressions differently. What do you think about incorporating something like the following into your comment about the x86 part? : Given the KASAN_SHADOW_OFFSET equal 0xffeffc0000000000 the following ranges are valid mem-to-shadow mappings: 0xFFFFFFFFFFFFFFFF INVALID 0xFFEFFBFFFFFFFFFF - kasan_mem_to_shadow(~0UL) VALID - kasan shadow mem VALID - non-canonical kernel virtual address 0xFFCFFC0000000000 - kasan_mem_to_shadow(0xFEUL << 56) INVALID 0x07EFFBFFFFFFFFFF - kasan_mem_to_shadow(~0UL >> 1) VALID - non-canonical user virtual addresses VALID - user addresses 0x07CFFC0000000000 - kasan_mem_to_shadow(0x7EUL << 56) INVALID 0x0000000000000000 -- Kind regards Maciej Wieczór-Retman