Leaderboard

My 7490 is USB-c/DP only, no optional TB. You may check the SSDT used on that laptop in the pack I posted in the associated guide.

The parent device is 8086:1576, i.e. DSL6340 Thunderbolt 3 Bridge [Alpine Ridge 2C 2015]. The XHC5 device you see underneath is the associated DSL6340 USB3.1 controller. Seeing an "XHCx" device is what you want.

RP05 is the PCIe root port (hence RP). RP05.PXSX and/or RP05.UPSB are the actual TB/USB-c PCIe devices.