CIA_IOC_PCI_W_DAC
saved_config.pci_dac_offset = *(vip)CIA_IOC_PCI_W_DAC;
*(vip)CIA_IOC_PCI_W_DAC = saved_config.pci_dac_offset;
*(vip)CIA_IOC_PCI_W_DAC = alpha_mv.pci_dac_offset >> 32;
tmp = *(vip)CIA_IOC_PCI_W_DAC & 0xFFUL;
tmp = *(volatile int *)CIA_IOC_PCI_W_DAC & 0xFFUL;