Searched refs:page_fault_error_code_mask (Results 1 – 7 of 7) sorted by relevance
124 u32 page_fault_error_code_mask; member300 CHECK_OFFSET(page_fault_error_code_mask, 756); in vmx_check_vmcs12_offsets()
72 FIELD(PAGE_FAULT_ERROR_CODE_MASK, page_fault_error_code_mask),
268 EVMCS1_FIELD(PAGE_FAULT_ERROR_CODE_MASK, page_fault_error_code_mask,
500 (error_code & vmcs12->page_fault_error_code_mask) != in nested_vmx_is_page_fault_vmexit()2602 vmcs_write32(PAGE_FAULT_ERROR_CODE_MASK, vmcs12->page_fault_error_code_mask); in prepare_vmcs02_rare()
118 u32 page_fault_error_code_mask; member
106 u32 page_fault_error_code_mask; member592 *value = current_evmcs->page_fault_error_code_mask; in evmcs_vmread()1095 current_evmcs->page_fault_error_code_mask = value; in evmcs_vmwrite()
160 u32 page_fault_error_code_mask;