Searched refs:page_fault_error_code_mask (Results 1 – 6 of 6) 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()
160 u32 page_fault_error_code_mask;