diff options
author | Angel Pons <th3fanbus@gmail.com> | 2020-07-23 22:40:22 +0200 |
---|---|---|
committer | Angel Pons <th3fanbus@gmail.com> | 2020-07-24 23:12:07 +0000 |
commit | ad247ac5d8ef4a38bd1d61fbd28076f343a46c5c (patch) | |
tree | bb041f6d0a84201f7309c03b465d2c122e90c40f /src/superio/ite/it8712f/Makefile.inc | |
parent | dfa051a21de4726b0d7c90c58b635bf270fb0f1a (diff) |
device/pci_device.c: Do not complain about disabled devices
One would expect disabled devices to not be present. So, don't print
misleading warnings about it, because it only confuses people.
Change-Id: I0f14174a1d460a479dc9f15b63486f4f27b8f67c
Signed-off-by: Angel Pons <th3fanbus@gmail.com>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/43767
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Nico Huber <nico.h@gmx.de>
Reviewed-by: Aaron Durbin <adurbin@chromium.org>
Reviewed-by: Furquan Shaikh <furquan@google.com>
Reviewed-by: Kyösti Mälkki <kyosti.malkki@gmail.com>
Diffstat (limited to 'src/superio/ite/it8712f/Makefile.inc')
0 files changed, 0 insertions, 0 deletions