Searched refs:dbgctl (Results 1 – 2 of 2) sorted by relevance
162 u64 dbgctl; member
1239 *data = svm->vmcb->save.dbgctl; in svm_get_msr()1325 svm->vmcb->save.dbgctl = data; in svm_set_msr()