[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH v5 2/4] xen/arm: make is_espi() a pure range predicate
- To: Mykola Kvach <mykola_kvach@xxxxxxxx>, <xen-devel@xxxxxxxxxxxxxxxxxxxx>
- From: "Orzel, Michal" <michal.orzel@xxxxxxx>
- Date: Fri, 25 Sep 2026 13:10:10 +0200
- Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass (sender ip is 165.204.84.17) smtp.rcpttodomain=epam.com smtp.mailfrom=amd.com; dmarc=pass (p=quarantine sp=quarantine pct=100) action=none header.from=amd.com; dkim=none (message not signed); arc=none (0)
- 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=aGXOMpwLctdufDOCI1Vsnq3V+JCTKt9lR9znunwWc7I=; b=NHNqk3WCG6umjxo59FRC7trTXSLetpSBdTtY6Q5ln8vMJQqwmuAzGW6EP0KsYt1iAeVHpATtmW3N5LxPG34l3DLkyam89FkyftiELSbKM/9U3dR44e/XD8Fz7UBW3vCU3UK3MZilakbHn6CpLWwjlLXUMx778v2nZ/CqEUBP0belrTH82W1RqoLKzb22qThaqYP82o+gcVM+nRIw9zO2//JdDgi0f01afl5gT0dMQCrwBefrJtQ1PoDmuATI9EPt/SHPIJbUKh5pxmxMHea7Gu0EJNGZOiz3aGu/cB599zRQ1zG+OvC7k00sx6DyYz2BtwkhhoAmwHkcy7/h/ZnZEA==
- Arc-seal: i=1; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=none; b=LE8XpVq2WOW7Ac4kSJx4BBN6EaPaYs2TLm/k8KkkNvvsg9npqB46rSQsCIM5OtVYubMu0DjhmLPw9zPiH3cjtfJJa50rzOTIkL2zFN1BueTofVX3Vv1abzJKJWxAxiuIOtQ//pAT5P0oHYYVrQ53+/GUayGy9396WpYwsSM6kIkkGVoY6PMTbOY1S+FcdmWoKzob1quo/4jNko+kiF5ZoWIboJhDEBvhrUqbC8dBHszUNiYVz8GUOaLWN6f08cjHxbx61YltCz/GqcAwFPV5ZbHYaoX7EQDt5e9lwrQeVucjDwiU/w3CncjmlZ8hSvBXZdOvXo167UfbJwe8ta520w==
- Authentication-results: eu.smtp.expurgate.cloud; dkim=pass header.s=selector1 header.d=amd.com header.i="@amd.com" header.h="From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck"
- Cc: Stefano Stabellini <sstabellini@xxxxxxxxxx>, Julien Grall <julien@xxxxxxx>, Bertrand Marquis <bertrand.marquis@xxxxxxx>, "Volodymyr Babchuk" <Volodymyr_Babchuk@xxxxxxxx>
- Delivery-date: Fri, 25 Sep 2026 11:10:21 +0000
- List-id: Xen developer discussion <xen-devel.lists.xenproject.org>
On 24-Sep-26 22:57, Mykola Kvach wrote:
> is_espi() currently changes its result according to CONFIG_GICV3_ESPI.
> Without eSPI support, it returns false, and its assertion fails if
> an eSPI INTID is passed. Callers therefore use it both to identify
> eSPIs and to exclude eSPI handling when support is disabled.
>
> Make is_espi() report only whether an INTID is in the architectural
> eSPI range. Check for eSPI support at the call sites.
>
> Use BUG_ON() if the GIC reports an eSPI without compiled-in support,
> matching the handling of unsupported LPIs. Treat virtual eSPI lookup
> without support as unreachable, with a NULL return from the
> espi_to_pending() stub.
>
> Signed-off-by: Mykola Kvach <mykola_kvach@xxxxxxxx>
Reviewed-by: Michal Orzel <michal.orzel@xxxxxxx>
~Michal
|
