|
@@ -40,15 +40,6 @@ static inline void set_bit(volatile uint32_t *flag, int bit, int value)
|
|
|
Print(L"new value is 0x%2x\n", val);
|
|
|
}
|
|
|
|
|
|
-static inline int configspace_matches_ids(void *config, uint32_t vendor_id,
|
|
|
- uint32_t device_id)
|
|
|
-{
|
|
|
- uint32_t *cfg = config;
|
|
|
- if (cfg[0] == vendor_id && cfg[1] == device_id)
|
|
|
- return 1;
|
|
|
- return 0;
|
|
|
-}
|
|
|
-
|
|
|
static int is_device(EFI_PCI_IO *pciio, uint16_t vendor_id, uint16_t device_id)
|
|
|
{
|
|
|
lpcif_t lpcif;
|