read_csr_4
reg = read_csr_4(d, misc_ctl);
reg = read_csr_4(d, mast_ctl);
pcicsr = read_csr_4(d, pci_csr);
intcsr = read_csr_4(d, lint_stat) & 0xffffff;
vec = read_csr_4(d, v_statid[i - 1]);