get_debugctlmsr
update_debugctlmsr(get_debugctlmsr() &
debugctlmsr = get_debugctlmsr();
debugctlmsr = get_debugctlmsr();
debugctl = get_debugctlmsr();
debug_ctl = get_debugctlmsr();