Searched refs:dbgctl (Results 1 – 2 of 2) sorted by relevance
207 res = &state->dbgctl; in vmcb_msr_ptr()
371 uint64_t dbgctl; /* 0x270 */ member