mca_conf_write
void mca_conf_write(mca_chipset_tag_t, int, int, int);
void mca_conf_write(mca_chipset_tag_t, int, int, int);
(void) mca_conf_write(ma->ma_mc, ma->ma_slot, 3, pos3 & 0x1f);
mca_conf_write(ma->ma_mc, ma->ma_slot, 4,
mca_conf_write(ma->ma_mc, ma->ma_slot, 2, pos2 | 0x01);