atp_readw_io
if ((atp_readw_io(dev, 0, 0x1c) & 0x4000) != 0) /* DB6 all release? */
if ((atp_readw_io(dev, 0, 0x1c) & 0x2000) == 0)
k = atp_readw_io(dev, 0, 0x1c);
if ((atp_readw_io(dev, 0, 0x1c) & 0x2000) != 0) /* DB5 all release? */