put set_msr and set_cia back in for now