wrmsr_locked
wrmsr_locked(e->e_data1, val & ~e->e_data2);
wrmsr_locked(e->e_data1, val | e->e_data2);