Searched refs:page_fault_error_code_mask (Results 1 – 7 of 7) sorted by relevance
122 u32 page_fault_error_code_mask; member301 CHECK_OFFSET(page_fault_error_code_mask, 756); in vmx_check_vmcs12_offsets()
70 FIELD(PAGE_FAULT_ERROR_CODE_MASK, page_fault_error_code_mask),
251 EVMCS1_FIELD(PAGE_FAULT_ERROR_CODE_MASK, page_fault_error_code_mask,
383 (error_code & vmcs12->page_fault_error_code_mask) != in nested_vmx_is_page_fault_vmexit()2467 vmcs_write32(PAGE_FAULT_ERROR_CODE_MASK, vmcs12->page_fault_error_code_mask); in prepare_vmcs02_rare()
115 u32 page_fault_error_code_mask; member575 *value = current_evmcs->page_fault_error_code_mask; in evmcs_vmread()962 current_evmcs->page_fault_error_code_mask = value; in evmcs_vmwrite()
394 u32 page_fault_error_code_mask; member
158 u32 page_fault_error_code_mask;