Searched refs:INTERCEPT_WORD4 (Results 1 – 3 of 3) sorted by relevance
20 INTERCEPT_WORD4, enumerator
807 vmcb12->control.intercepts[INTERCEPT_WORD4], in enter_svm_guest_mode()
3392 control->intercepts[INTERCEPT_WORD4]); in dump_vmcb()