That's essentially what I expected. Thankfully, that is what appears to be installed on the system:
[code]
Name Standard SATA AHCI Controller
Manufacturer Standard SATA AHCI Controller
Status OK
PNP Device ID PCI\VEN_1002&DEV_4391&SUBSYS_43911849&REV_00\3&267A616A&0&88
I/O Port 0x0000C000-0x0000C007
I/O Port 0x0000B000-0x0000B003
I/O Port 0x0000A000-0x0000A007
I/O Port 0x00009000-0x00009003
I/O Port 0x00008000-0x0000800F
Memory Address 0xFE9FFC00-0xFE9FFFFF
IRQ Channel IRQ 22
Driver c:\windows\system32\drivers\storahci.sys (10.0.17763.168, 160.49 KB (164,344 bytes), 3/12/2019 8:31 AM)[/code]