[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PATCH v9 4/8] vpci: Hide extended capability when it fails to initialize


  • To: Nicola Vetrini <nicola.vetrini@xxxxxxxxxxx>, Jan Beulich <jbeulich@xxxxxxxx>
  • From: "Chen, Jiqian" <Jiqian.Chen@xxxxxxx>
  • Date: Thu, 31 Jul 2025 06:30:39 +0000
  • Accept-language: en-US
  • Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=amd.com; dmarc=pass action=none header.from=amd.com; dkim=pass header.d=amd.com; arc=none
  • 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=e/7Lagg1AZeOFDdMAnzrGCgfVt7CPO77img7Q1DbOh4=; b=wsybO21MiF/cOkjDN6dbqZ0V6QfhxFHz+XYQj9L54KiF0d2rdtsURtjPvzyJv1Wj01I6Us19IXxaJ448jhew4Ll9O7IAe2EquG96B/4DGsS1IyAd9HcqldChQyRnba8NMc11nfcXMKBM6E3YpO6M7YVgutqPTkeExs9sglV+eYI3ZEimQ537B9EIQXh1ZJkFDc4W8n8lksqSz6r/Qdkt3hhu1vpGRqg0L+RqCAPQOqOcpHsugkwtUa5uLEivKcsoZZPObHk4snbe0e/SVcRyXAfh3pW1qqOOHdV/H2swHliVIoEYAlowM86LKKGTOhN4ozFm+SFOjzWhzr7XvMahQA==
  • Arc-seal: i=1; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=none; b=IbprJxE4BEkU117EVekRTX1Uwlh46gKE6n7NLScckrwvF7ubUq0qZOs/Y9rhr7ta2BkFIGMJDeXkhI+j1Ib0abp//laK8IkETUwlPe/v+Uc8oHfmkDAKvsA8OzzoFuUVnPlzbwOAGvs4alnjxANlHvqyAZ7Q32smdy3n89k9zJzZQRnWTiY9+SwwDHwuMb0Pf+afN5MTxgOpL5rfmCyGPT+hhX5gatoko9y+0lk7SECAqUtbZ+m2KcmOSOFwP4rSEHGGOl+F9gCmAa41fhquaEtK5PpDs2xtOgjBhPKl0/HCY6B3Q2OLaB1Yqs8pQVhtjtu6xrO6nJZWyLR/SPU+BA==
  • Authentication-results: dkim=none (message not signed) header.d=none;dmarc=none action=none header.from=amd.com;
  • Cc: "Chen, Jiqian" <Jiqian.Chen@xxxxxxx>, "Huang, Ray" <Ray.Huang@xxxxxxx>, Roger Pau Monné <roger.pau@xxxxxxxxxx>, Andrew Cooper <andrew.cooper3@xxxxxxxxxx>, Anthony PERARD <anthony.perard@xxxxxxxxxx>, "Orzel, Michal" <Michal.Orzel@xxxxxxx>, Julien Grall <julien@xxxxxxx>, Stefano Stabellini <sstabellini@xxxxxxxxxx>, "xen-devel@xxxxxxxxxxxxxxxxxxxx" <xen-devel@xxxxxxxxxxxxxxxxxxxx>, "consulting@xxxxxxxxxxx" <consulting@xxxxxxxxxxx>
  • Delivery-date: Thu, 31 Jul 2025 06:30:52 +0000
  • List-id: Xen developer discussion <xen-devel.lists.xenproject.org>
  • Thread-index: AQHb/30eZiKLAVednkGePt2TH9gIQ7RKb6eAgAAOrICAAAE3AIAB0IkA
  • Thread-topic: [PATCH v9 4/8] vpci: Hide extended capability when it fails to initialize

On 2025/7/30 18:46, Nicola Vetrini wrote:
> On 2025-07-30 12:42, Nicola Vetrini wrote:
>> On 2025-07-30 11:50, Jan Beulich wrote:
>>> On 28.07.2025 07:03, Jiqian Chen wrote:
>>>> +static int vpci_ext_capability_hide(
>>>> +    const struct pci_dev *pdev, unsigned int cap)
>>>> +{
>>>> +    const unsigned int offset = pci_find_ext_capability(pdev->sbdf, cap);
>>>> +    struct vpci_register *r, *prev_r;
>>>> +    struct vpci *vpci = pdev->vpci;
>>>> +    uint32_t header, pre_header;
>>>> +
>>>> +    if ( offset < PCI_CFG_SPACE_SIZE )
>>>> +    {
>>>> +        ASSERT_UNREACHABLE();
>>>> +        return 0;
>>>> +    }
>>>> +
>>>> +    spin_lock(&vpci->lock);
>>>> +    r = vpci_get_register(vpci, offset, 4);
>>>> +    if ( !r )
>>>> +    {
>>>> +        spin_unlock(&vpci->lock);
>>>> +        return -ENODEV;
>>>> +    }
>>>> +
>>>> +    header = (uint32_t)(uintptr_t)r->private;
>>>> +    if ( offset == PCI_CFG_SPACE_SIZE )
>>>> +    {
>>>> +        if ( PCI_EXT_CAP_NEXT(header) <= PCI_CFG_SPACE_SIZE )
>>>> +            r->private = (void *)(uintptr_t)0;
>>>
>>> Eclair regards this a Misra rule 11.9 violation. Elsewhere we use (void *)0,
>>> which I then would conclude is "fine". But I can't say why that is. Cc-ing
>>> Bugseng for a possible explanation.
>>>
>>
>> Hi Jan,
>>
>> I only see
>>
>> 0|$ git grep "(void\*)0"
>> xen/include/xen/types.h:#define NULL ((void*)0)
>>
>> which is fine for R11.9 of course. As Andrew noted, I don't see the need for 
>> the use of uintptr_t either.
> 
> Oh, I missed forms using a space before the pointer. In any case, from the 
> rule's Amplification: "Note: a null pointer constant of the form (void *)0 is 
> permitted, whether or not it was expanded from NULL."
> 

Thank you for helping to solve this problem.
Thank you both very much!

-- 
Best regards,
Jiqian Chen.

 


Rackspace

Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.