ehmry/genode
ehmry/genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

ahci: log vendor/device IDs as hex

Browse Source
This commit is contained in:
Christian Helmuth 2017-10-30 12:13:49 +01:00
parent ca172aa4fb
commit 73f1fa9a1f
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
repos/os/src/drivers/ahci/spec/x86/platform.cc
View File

@ -54,9 +54,9 @@ struct X86_hba : Platform::Hba
/* construct pci client */ /* construct pci client */
pci_device.construct(pci_device_cap); pci_device.construct(pci_device_cap);
Genode::log("AHCI found (" Genode::log("AHCI found ("
"vendor: ", pci_device->vendor_id(), " " "vendor: ", Genode::Hex(pci_device->vendor_id()), " "
"device: ", pci_device->device_id(), " " "device: ", Genode::Hex(pci_device->device_id()), " "
"class: ", pci_device->class_code(), ")"); "class: ", Genode::Hex(pci_device->class_code()), ")");
/* read base address of controller */ /* read base address of controller */
Platform::Device::Resource resource = pci_device->resource(AHCI_BASE_ID); Platform::Device::Resource resource = pci_device->resource(AHCI_BASE_ID);