git: 977b2faf6328 - main - xen: Add support for platform device with id 5853:0002

The branch main has been updated by royger:

URL: https://cgit.FreeBSD.org/src/commit/?id=977b2faf6328ce18f019c399929809177b9fc672

commit 977b2faf6328ce18f019c399929809177b9fc672
Author:     Frediano Ziglio <freddy77@gmail.com>
AuthorDate: 2025-04-02 13:04:32 +0000
Commit:     Roger Pau Monné <royger@FreeBSD.org>
CommitDate: 2025-05-08 16:06:27 +0000

    xen: Add support for platform device with id 5853:0002
    
    According to
    https://xenbits.xen.org/docs/unstable/man/xen-pci-device-reservations.7.html
    the Xen Platform Device can either be 5853:0001 or 5853:0002.
    Currently kernel only recognises 5853:0001. Add detection for 5853:0002.
    Tested with XenServer and different machine templates.
    
    Reviewed by: royger
---
 sys/dev/xen/xenpci/xenpci.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/sys/dev/xen/xenpci/xenpci.c b/sys/dev/xen/xenpci/xenpci.c
index b7a810bf9e15..9fc0a4102f66 100644
--- a/sys/dev/xen/xenpci/xenpci.c
+++ b/sys/dev/xen/xenpci/xenpci.c
@@ -127,8 +127,9 @@ errexit:
 static int
 xenpci_probe(device_t dev)
 {
+	uint32_t device_id = pci_get_devid(dev);
 
-	if (pci_get_devid(dev) != 0x00015853)
+	if (device_id != 0x00015853 && device_id != 0x00025853)
 		return (ENXIO);
 
 	device_set_desc(dev, "Xen Platform Device");