DEBUGCTLMSR_BTF
debugctl &= ~DEBUGCTLMSR_BTF;
debugctl |= DEBUGCTLMSR_BTF;
debugctl &= ~DEBUGCTLMSR_BTF;
debugctl |= DEBUGCTLMSR_BTF;
if (data & DEBUGCTLMSR_BTF) {
data &= ~DEBUGCTLMSR_BTF;
#define TDX_DEBUGCTL_PRESERVED (DEBUGCTLMSR_BTF | \
if (invalid & (DEBUGCTLMSR_BTF | DEBUGCTLMSR_LBR)) {
invalid &= ~(DEBUGCTLMSR_BTF | DEBUGCTLMSR_LBR);