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 2164EE7717D for ; Fri, 13 Dec 2024 07:13:45 +0000 (UTC) Received: by kanga.kvack.org (Postfix) id 3CED46B007B; Fri, 13 Dec 2024 02:13:45 -0500 (EST) Received: by kanga.kvack.org (Postfix, from userid 40) id 356756B0082; Fri, 13 Dec 2024 02:13:45 -0500 (EST) X-Delivered-To: int-list-linux-mm@kvack.org Received: by kanga.kvack.org (Postfix, from userid 63042) id 1D06C6B0083; Fri, 13 Dec 2024 02:13:45 -0500 (EST) X-Delivered-To: linux-mm@kvack.org Received: from relay.hostedemail.com (smtprelay0014.hostedemail.com [216.40.44.14]) by kanga.kvack.org (Postfix) with ESMTP id F133B6B007B for ; Fri, 13 Dec 2024 02:13:44 -0500 (EST) Received: from smtpin15.hostedemail.com (a10.router.float.18 [10.200.18.1]) by unirelay01.hostedemail.com (Postfix) with ESMTP id 521201C5077 for ; Fri, 13 Dec 2024 07:13:44 +0000 (UTC) X-FDA: 82889070138.15.5571179 Received: from mail-ej1-f50.google.com (mail-ej1-f50.google.com [209.85.218.50]) by imf22.hostedemail.com (Postfix) with ESMTP id A5B0AC0004 for ; Fri, 13 Dec 2024 07:13:15 +0000 (UTC) Authentication-Results: imf22.hostedemail.com; dkim=pass header.d=linaro.org header.s=google header.b=oJEo2MEq; spf=pass (imf22.hostedemail.com: domain of dan.carpenter@linaro.org designates 209.85.218.50 as permitted sender) smtp.mailfrom=dan.carpenter@linaro.org; dmarc=pass (policy=none) header.from=linaro.org ARC-Seal: i=1; s=arc-20220608; d=hostedemail.com; t=1734073998; a=rsa-sha256; cv=none; b=xDQ3nxRyg/8TErvb/hSK9AgfaBrNavdiO84aui9JY27rMRNM1q3jdopqi1v09KM91lrlzt d/nmnpGymg2Af9qnBVtheIQsDANPDjhkAxLe0fvTNHYYFAGW9jKQxenJsfthwwbxXevSOd PQWTBBi9q+kKe2+8bbvwx/NKWGCjL2Q= ARC-Authentication-Results: i=1; imf22.hostedemail.com; dkim=pass header.d=linaro.org header.s=google header.b=oJEo2MEq; spf=pass (imf22.hostedemail.com: domain of dan.carpenter@linaro.org designates 209.85.218.50 as permitted sender) smtp.mailfrom=dan.carpenter@linaro.org; dmarc=pass (policy=none) header.from=linaro.org ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=hostedemail.com; s=arc-20220608; t=1734073998; 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: in-reply-to:in-reply-to:references:references:dkim-signature; bh=ogEEtJXzNxHENgLOd4mF7OzCwBKh2LN69UQcTsNeWTU=; b=MEGfkQ+BZEf27+Wa3Yz2j/t1s2SvXRAEn10dXVJbysmPOULlzm7f0iUaOU1xmfUdBUGpbn QpyvyerLAU/nl8Ixxo09KG0hS4uju0pFfdX6DuUEo67m4/CdA4NYatQXZLCIiTD9oJGVWY qyR5UZA0bGkjWCGy63liqvP19YHX7Fc= Received: by mail-ej1-f50.google.com with SMTP id a640c23a62f3a-aa6a3c42400so244028166b.0 for ; Thu, 12 Dec 2024 23:13:42 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=linaro.org; s=google; t=1734074021; x=1734678821; darn=kvack.org; h=in-reply-to:content-disposition:mime-version:references:message-id :subject:cc:to:from:date:from:to:cc:subject:date:message-id:reply-to; bh=ogEEtJXzNxHENgLOd4mF7OzCwBKh2LN69UQcTsNeWTU=; b=oJEo2MEq3tQU0nhIVGrycbXTtBadLTd5WyAQE+KPORAm6liIodkINPd4WCs+zXziqG tFo1ncyEeTK6dtnrgzja+/unWitf/+Et/b+9mJvbtm9fwyrkXQ7SPS3E5OVN+CBQUrrw SEw6j9dQnOmOqxVCIkry66STG2tWdidWIp/0oTfy23VPVd0y9e9uMDiVn81hcwZB4gkt sOMQ5F5f52YVNv4yy1+9mzg86RBqnhYfmDN4OUTtQpiYApjY3L/qABfEVbxbXtvc2rCB 5iydm1LlsF0MyjC3dZlv5nd7wN3RmlFPoocHcfevOMAy7z4AiPb83y78I3OMllNdHNNi HVIQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1734074021; x=1734678821; h=in-reply-to:content-disposition:mime-version:references:message-id :subject:cc:to:from:date:x-gm-message-state:from:to:cc:subject:date :message-id:reply-to; bh=ogEEtJXzNxHENgLOd4mF7OzCwBKh2LN69UQcTsNeWTU=; b=JIdZCDZ3LWXTBnxcleDs9A0PprlzZ7OzDXXn0RdMDoCSXKkvPw3hxqbo5r5tt1rhHp fIJQqsgcTMkiaLBonlHKFqERvWyics9GqpC5o6Bx7lkyVJxBwtwVqD7tnqvnB7ADljVK OL5cmPVqdAT8G/F/QpSPQBaEXQlY5Y4Q16FSP0HomDEeRrSN1WMGxCMgLETHnpj3ytrm FqMWWL8FQtXR+S7gz12jpxu49sEBKJrdTPRBol1UgCAaKzGyhTqiTn4m+fRTSbWV+XUv YdRJAmAUSTgszgdj85kjmkqZ1ienKbsFnuB2Q+EgDvar7BeRUjn0oKFIFdbhUSalmvo2 8ADg== X-Forwarded-Encrypted: i=1; AJvYcCVbqgf6LSSQ8g0opsSd5SwWt2GAN6UPbubWurN8KhEdSAhyHcV5cIFFbRC0b6YVUzGt7ZytHPvw0Q==@kvack.org X-Gm-Message-State: AOJu0YwIyWzu4lyO1XCXObzJZ6+wUCk4AokWMWS6o5dP436GqPJiAGgH UKaOv12XdtgM+b/k557bgREVspa4psCREVrLUlGG46IGUcGWJC2CgBano0nLPjY= X-Gm-Gg: ASbGncujfZ1PlXvYcFJ5oBPQufHsMnrz+2IRqy5YzlF6zasv1KCg7eMN+C3n1Bzu1vn KSHyxLAlxN76VvTo4PTQ8riMdbXYSLVV5fCZTuPqh9OLOhwwHbjoAsWe6l9wG9AEIWGsSeBsc0q TAgDZBHzgJpBe1bSXlwG5IqsA44vU3FQtVWFsyNUHdO3sIPXaZxgjjBB/0wdTH6qwWmHHwRbYxC iYxLpFh58mt+nuZuht3wWdejTYKFuMVU1aPQ5OThe1Xdt2LfP2LwfwalkeUfg== X-Google-Smtp-Source: AGHT+IFbfXZCVIZ+/YV4BpaGAU/Xibo0YqHjTTlEMxiGHE+JH3CnJWYkryBurN4Ott2o2NVLHBmH2Q== X-Received: by 2002:a17:906:dc8f:b0:aa6:8b4a:4695 with SMTP id a640c23a62f3a-aab7bb644d9mr128549866b.31.1734074020805; Thu, 12 Dec 2024 23:13:40 -0800 (PST) Received: from localhost ([196.207.164.177]) by smtp.gmail.com with ESMTPSA id a640c23a62f3a-aa6b9a94c32sm268653866b.55.2024.12.12.23.13.39 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 12 Dec 2024 23:13:40 -0800 (PST) Date: Fri, 13 Dec 2024 10:13:37 +0300 From: Dan Carpenter To: Andrew Morton Cc: Uros Bizjak , x86@kernel.org, linux-mm@kvack.org, linux-kernel@vger.kernel.org, linux-bcachefs@vger.kernel.org, linux-arch@vger.kernel.org, netdev@vger.kernel.org, Thomas Gleixner , Dennis Zhou , Tejun Heo , Christoph Lameter , Linus Torvalds , Andy Lutomirski , Ingo Molnar , Nadav Amit , Brian Gerst , "H . Peter Anvin" , Peter Zijlstra Subject: Re: [PATCH v3 0/6] Enable strict percpu address space checks Message-ID: References: <20241208204708.3742696-1-ubizjak@gmail.com> <20241212193541.fa3dcac867421a971c38135c@linux-foundation.org> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20241212193541.fa3dcac867421a971c38135c@linux-foundation.org> X-Rspamd-Queue-Id: A5B0AC0004 X-Stat-Signature: t1yhmoroim19zm9fery1hqdehs89t6oq X-Rspam-User: X-Rspamd-Server: rspam09 X-HE-Tag: 1734073995-776806 X-HE-Meta: U2FsdGVkX1+xoLQXR1a35qWoNiDOhsP8goBDvXhLjr5ZmeJZG58xEjH7HL9tONtoeinlDXYBZcJu96dG1WElFzLi3tJG8Y7vlVGdZiRWmcC7gcBSMqAldS5y/3eojTYHWfkhmqy/ACr6Z6Rc9FeZdCAMLjPDMpAiv5/QlUTRq7tGZkL9QhBZIjqfUwTWjO3vg9zCO/5DrePEGcUUJV9HueEYPSYfUzgdGeBaTzyt/zJ4A/tfL2rLp+H9CtBB3LIDWk1vBjCZzRrlt7BC4LgPAwQXAuTYpLK4lIjuJyGK6WO1L5+ZAOoJqHLxKUIyCCbfx9/7wF2Ffo5CLEDkItpEMt7dK9wf7BA/DUGcVAey7k4P/7xmTQ/vpb/zFDZ9ra2cdxLu9RMQxhrSHuin8lBauEpYbOGlRlOmobGTYey5D1PlctOki4VCJTVzy7H84JZJvjSQaD2YF/QKRLWBmrYqqWD0Vh9RTGZNJdMNMCqcZvLizycZ/UFq4XpUYh+Xxb2hDB7v7C3Vw3bO8Afhrg7rsTT5Qi7NLu7i68fxqStf1Vi52rVoQKBooIHTb0zByl78EMe7l0M0O2oIHMFeB4kEI0n+wufGq6Nw4IAbJmDNtgPFnzWYvti7WRRVdIcqoX/jj1f3UOYEJdWqlnrchyZV/lBUOzyK/QfZpzfXCPwOCWpzAg87O0xwYrE5UXJ4G4sPgwrnC5akArdhQ3IF5QgTtuBqr5wiUGD7BuaxinKi8l1EISBxYdkUxHrNGLU7FuTk7D0x6dPdOk9rP7/3fj19BjQ3kJtUoRerPEwt8xWzPJnHEPRclhmghKxsi3YhTq3W+IxovPGdF2CqyDT6/d0YrbxaBMVhhJcOvzkXxWu11fm9HBmZzLf6f9ylGzJmHFXhXKrO6iS7PnFVPURf8CGSqfyoThnqTpgDp7u2Dr651/hUJN8NruAjQ79B1Kw1LitUL+RJ5cWJhJC0vFh4qGM KQxp8ST/ 9T5febFkw3L3Qm2kutggoyRAgJAqQKoOm7IFg/Kd5I4eb/fMdyVjGWVN1je0ucT0fVHQIHzCoIo9zMjLLmkM9nHPEGIlV3BozATOCGRLA7+cLNis2WIg7afz5PXDKIGzeUR3n6wmcoBIBk7avgaHJpYUF7D+95bcBh2o2ZMeDsgnaVEa0MOWWJuBGQyvFbh+mSFOkAgY7+4Qf0cWZXGEgjLqepr3254DWt7m4uJ13YfXdVxLptCDaQaoQUvuOPTcNQdODZC98HCgOOvuvJMdzwhhVbHVGD7teeMUtBq6KWF9VYPAsqAlHVAYVUyBqPixPsI6TMENTiQZwl83T7evqrc06lZoifiwKkNuqWTlJptnmjoVxdFXdv7ONKiCqaTDzc+LUblAi0ITXODwVz8Zi6C0rOw9crj5UTMR4 X-Bogosity: Ham, tests=bogofilter, spamicity=0.004331, 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 Thu, Dec 12, 2024 at 07:35:41PM -0800, Andrew Morton wrote: > On Sun, 8 Dec 2024 21:45:15 +0100 Uros Bizjak wrote: > > > Enable strict percpu address space checks via x86 named address space > > qualifiers. Percpu variables are declared in __seg_gs/__seg_fs named > > AS and kept named AS qualified until they are dereferenced via percpu > > accessor. This approach enables various compiler checks for > > cross-namespace variable assignments. > > > > Please note that current version of sparse doesn't know anything about > > __typeof_unqual__() operator. Avoid the usage of __typeof_unqual__() > > when sparse checking is active to prevent sparse errors with unknowing > > keyword. The proposed patch by Dan Carpenter to implement > > __typeof_unqual__() handling in sparse is located at: > > google("what the hell is typeof_unequal") failed me. I'm glad I'm not the only person who read that as "equal" instead of "qualified". regards, dan carpenter