···571571 * ACPIBASE is bits [15:7] from 0x40-0x43572572 */573573 pci_read_config_dword(pdev, 0x40, &base_address);574574- base_address &= 0x00007f80;574574+ base_address &= 0x0000ff80;575575 if (base_address == 0x00000000) {576576 /* Something's wrong here, ACPIBASE has to be set */577577 printk(KERN_ERR PFX "failed to get TCOBASE address\n");