From:   Nick Alcock <nick.alcock@oracle.com>
To:     Luis Chamberlain <mcgrof@kernel.org>
Cc:     linux-modules@vger.kernel.org, linux-kernel@vger.kernel.org
Subject: Re: [PATCH 09/27] irqchip: remove MODULE_LICENSE in non-modules
References: <20230224150811.80316-1-nick.alcock@oracle.com>
        <20230224150811.80316-10-nick.alcock@oracle.com>
        <86y1onw02k.wl-maz@kernel.org>
        <Y/jyJFXqlj9DlX9z@bombadil.infradead.org>
        <86wn47vue1.wl-maz@kernel.org>
        <Y/kXDqW+7d71C4wz@bombadil.infradead.org>
Emacs:  featuring the world's first municipal garbage collector!
Date:   Mon, 27 Feb 2023 13:24:31 +0000
In-Reply-To: <Y/kXDqW+7d71C4wz@bombadil.infradead.org> (Luis Chamberlain's
        message of "Fri, 24 Feb 2023 11:59:10 -0800")
Message-ID: <87v8jni6ls.fsf@esperi.org.uk>
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.1.91 (gnu/linux)
Content-Type: text/plain
MIME-Version: 1.0
X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1
X-MS-Exchange-AntiSpam-MessageData-0: =?us-ascii?Q?OuWEIqJVMQdppAp98xPL01/SUXLnJTeEmj4AyZ6dT6tWfVGpgRVuoUa4edBp?=
 =?us-ascii?Q?WzEMCVNUo9kXy47kCdnnkP2xQD2BzTvkDBNREAT71LiD0fglFXorDL3ozwOu?=
 =?us-ascii?Q?45HomXDnDEOuOpDAS7RAez28v+OhOgI2uRDzj2m9QIa/CeqK0+gIReaWjRF7?=
 =?us-ascii?Q?FANLcLb94jiWERtv8/7atcYFldKp7uICzDa1OmtvbLEvibafzsZm/mO5HVhE?=
 =?us-ascii?Q?q2nFKmA6eBMzTWWbwAWIwRuAHu/X9y0Keq9dYEeEkny57hHgiCVJo05opQSD?=
 =?us-ascii?Q?EBCk8o6HWxPuv9DaKP0E0+BaIsEOltuo3Xaz4UqaUBJrHTBd/IPgRcJxYTg8?=
 =?us-ascii?Q?pi6iEWLHu/XGq4z+L2RjbDlTCPYnTJg96FG8vemjBrm8LeY7pwH2lrUDo1RO?=
 =?us-ascii?Q?TxSRV8liHhcv7jjfDhc1DT0SqXjK9lrAB3oWipjv/J6uSk0S756m7B/c9hwH?=
 =?us-ascii?Q?Agfk1kCfeS3BmlSGtXPE0muR3VZOewo/AulRwYNP8HWLfyKCYj4ZzONCY0fl?=
 =?us-ascii?Q?2J1uN8oFBGn5p5WrDJVfYgQi/+69svfHKml4H61pC0+I2HXrurQzHwiyCAKx?=
 =?us-ascii?Q?or9qL/cuzR3nYkjuBGWwshWxpG+9aHgM+JnkZDXZxbIyAvapAevl4JTzAU3E?=
 =?us-ascii?Q?y9pARJKFeobFir2AcDXAmu3sLu5PtSRYQoRCHbFjbM9lHr9aCRmTuRBhflOH?=
 =?us-ascii?Q?7Xoj1qOVrm4fU8vSTGc9Rh6txi6fg2iLvRRXrn20VibSlLY3MspDEGbl1r/r?=
 =?us-ascii?Q?jDQVPpRF67jALUHjSuJZFfCTjdCDXL6B6pWXkQP8d24JtSDFTJc7Iufa1FPu?=
 =?us-ascii?Q?eJY6XLonvunuPa4OFTcGr4gizsbSKLAU96d6nClLKywMtllDHAI6E/++Az/M?=
 =?us-ascii?Q?Qrxb9oVsQ1zwih+wQQJMncbDENWvfcQBHHT5gubzTft2QAFKShww900O2vMh?=
 =?us-ascii?Q?0R6c8bvPXOVAwrSl+0/KqGnK33jTLcSe10zaDSnhSFHCFg207zEFpDzJCPKn?=
 =?us-ascii?Q?2qND7WB9KlkzWJd5gmNCA3vTKboPpYtjDNDA0HCYQrpjMx7mSne1oIAisp8X?=
 =?us-ascii?Q?CMGYp2GoKSnCdcf3MG31z2E5cReTcfV7L6Hyk4oMJiSQww0lgk/+9+Kd1kJj?=
 =?us-ascii?Q?t3oWpu8+gRm8yL26ZqzUe6CCgjykzCjXsArdsE6tjVYI4fk1hV400fWj2u8g?=
 =?us-ascii?Q?66jeuZwlPgH5l5hBNTIUhb2GKjmUMMa8Mx+kPTrEeObd6j8Ew78yr18kHu6u?=
 =?us-ascii?Q?nxQXuI2gZUwB6tvN0MnHpqeSEGdhbgG47tI314xobNBH/7WKXrvskP87lRs2?=
 =?us-ascii?Q?q95HF4eI0IMrrbJxiXXuiHUBEh1aI7e6LT0jZ9+cmrx56RqsnNYVdBxQfysw?=
 =?us-ascii?Q?n2yfDVSu1paj8Fzppl4LmIsuuf9axwiHofUJSO91KlQKUDPyXGlCtjRcxUxy?=
 =?us-ascii?Q?HpN3hduUJMVnruYHIkAH/jy4BgtEB+d+j5ONpB/foj5aR53jlO6VqXPTs730?=
 =?us-ascii?Q?Mv/7HGe1hV1B3LQ5ihQeekjksr7+qjeEpfx5fpJRqNHbEyVC1ANBMmQfQq1w?=
 =?us-ascii?Q?F3FSXaBHpyRC1Yhcpi+8sAVAXBX6zM6tHsLQqDkmbafENORdF0rDoB+iXL5o?=
 =?us-ascii?Q?+g=3D=3D?=
X-MS-Exchange-AntiSpam-ExternalHop-MessageData-ChunkCount: 1
X-MS-Exchange-AntiSpam-ExternalHop-MessageData-0: Au6mLE2U3GJzZlld+4rOMEncTWucVKr0BBBDngF3nZJCcMMkBulAPb54BitsbgoqV/AO08gbcae9zZXv7MwapduTCzA04DbGS8X1l758I1t+j1s9qf7DzZhFdV2zuAHehRFiI8C9JOpCS4Ld3wc+8Vqjf+mjMTIvZ8zAeQMoW+8QvqCrziG5Hf/NqkLTFCUyr9BqvBt660ktJOZrErb4K4F1nBUH/i8mjJjO9GfuGGRg5C3Y/azql6nhCJQAi285RXJn1i6HgePKY0wVx6VA2VQ59KX3a2bl0af8pBMX49SMVm0INsqA0WaxqmzDwKf9ypIu9gXohjxwZsvL67YLplgwr9BrUaw9IFEjFpJfwDywr3DxurMktbN8kQTU4gufDhKYOkuFGijT3H0DPS/ULEMUXL//U/NX1dnoQuaIfCUmlt8wgSkjtdpJw7H9m3lKG5iSnlvLXSi5N5hth7Ih8aTMTiJhkbVs9Lc6PpIzvlCq/Kr7aLSli0GCZpcJ1wmCEEGcMYVIfaV11sCNxdl2t/Z0GTx466jbmz96OWT3uWWwuhT/vNngEOb6XyGNdAm4NOHqxZFUQbNxb64fiKhQiIYHCHyt6Jaf2BwWN3TOF31TWwJuAQANbai9fCJddfbxNZHpZR7QkDX01p3XrnsvygLtlto6cTm/+VrLjbdw7yBUN6yXsjZW2Zv1uAd4wMaECxA4tJR/52UTgTx05cPJlQ8Fw9XaKCKcr4PIs6evRQvyaRoDpjpwTjSZe/n9CfceHJffaoP6IT5il91mQGuzigy+DUtS93J9IH6jHsVUyCM=
X-OriginatorOrg: oracle.com
X-MS-Exchange-CrossTenant-Network-Message-Id: 512c1012-4bf1-4ee1-f778-08db18c5f86f
X-MS-Exchange-CrossTenant-AuthSource: DS0PR10MB6798.namprd10.prod.outlook.com
X-MS-Exchange-CrossTenant-AuthAs: Internal
X-MS-Exchange-CrossTenant-OriginalArrivalTime: 27 Feb 2023 13:24:36.0331
 (UTC)
X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted
X-MS-Exchange-CrossTenant-Id: 4e2c6054-71cb-48f1-bd6c-3a9705aca71b
X-MS-Exchange-CrossTenant-MailboxType: HOSTED
X-MS-Exchange-CrossTenant-UserPrincipalName: bKQKyGwQItya+yqjboOIF5P4KBTN1wWtN9qFoVACbBKmMKUTt+VSt0lZ+sfosCHnMEsGhPnVSqai1WGcfzHmYg==
X-MS-Exchange-Transport-CrossTenantHeadersStamped: CY8PR10MB6515
X-Proofpoint-Virus-Version: vendor=baseguard
 engine=ICAP:2.0.219,Aquarius:18.0.930,Hydra:6.0.562,FMLib:17.11.170.22
 definitions=2023-02-27_10,2023-02-27_01,2023-02-09_01
X-Proofpoint-Spam-Details: rule=notspam policy=default score=0 mlxlogscore=962 mlxscore=0
 suspectscore=0 spamscore=0 adultscore=0 phishscore=0 malwarescore=0
 bulkscore=0 classifier=spam adjust=0 reason=mlx scancount=1
 engine=8.12.0-2212070000 definitions=main-2302270104
X-Proofpoint-ORIG-GUID: juEv8DuEIoqHK5NqwS7JJ6ig8ZnJCVif
X-Proofpoint-GUID: juEv8DuEIoqHK5NqwS7JJ6ig8ZnJCVif
Precedence: bulk
List-ID: <linux-kernel.vger.kernel.org>
X-Mailing-List: linux-kernel@vger.kernel.org

On 24 Feb 2023, Luis Chamberlain spake thusly:
> Modules that are compiled in should succeed with a modprobe call as its
> already loaded. The construct we're looking for is a way to detect
> things which are built-in but *could* be modules. The annotation today
> is done at build time for something built-in using a file path using
> modinfo.
>
> All of the module macros which peg .modinfo section information for
> built-in code can be extracted from vmlinux using objcopy -j .modinfo, and
> that's exactly how modules.builtin.modinfo is built:
>
> objcopy -j .modinfo -O binary vmlinux.o modules.builtin.modinfo
>
> From this we grep out the "file:" and sed it with a ^kernel prefix.
> You can look at the commit 8b41fc4454e ("kbuild: create modules.builtin
> without Makefile.modbuiltin or tristate.conf") which did that.
>
> If a module is built-in then MODULE_FILE() is used we and we add a
> MODULE_INFO(file, KBUILD_MODFILE), and so the modinfo exists for the
> "file:" tag for it. At build time we sed for all those with a kernel prefix
> to build the modules.builtin file. That file is used by modprobe to tell
> us "yes your module is loaded as its built-in".
>
> So the thing we wish to not have present is when built-in code is being
> compiled but *cannot possibly* be module, and we have no way to verify that.
>
> So one way to go about this is to simply *not* use the MODULE_LICENSE()
> which cannot possibly be modules so to simplfy the build process.

I do wonder if I should drop this excellent description (up to the place
where you start musing on alternatives) into the cover letters for the
remaining two tranches in this series, to forestall further confusion.
Any objection? (I doubt it, but it seems right to ask.)