How to set a register bit on a PCI card ?

[Steve Hsieh]

Hi,

Would anyone on this list by any chance know how to read the value of bit
15 of address offset 0x40 of a PCI card whose IO base is 0xf800 and then
set it to 0?

Thanks...
Steve