VIA686_KBC_DMA_MISC12
reg = pci_conf_read(pc, tag, VIA686_KBC_DMA_MISC12);
pci_conf_write(pc, tag, VIA686_KBC_DMA_MISC12, reg);