PAGE_FAULT_ERROR_CODE_MASK
EVMCS1_FIELD(PAGE_FAULT_ERROR_CODE_MASK, page_fault_error_code_mask,
vmcs_write32(PAGE_FAULT_ERROR_CODE_MASK, 0);
vmcs_write32(PAGE_FAULT_ERROR_CODE_MASK, vmcs12->page_fault_error_code_mask);
FIELD(PAGE_FAULT_ERROR_CODE_MASK, page_fault_error_code_mask),
vmcs_write32(PAGE_FAULT_ERROR_CODE_MASK, 0);
vmcs_read32(PAGE_FAULT_ERROR_CODE_MASK),
vmcs_write32(PAGE_FAULT_ERROR_CODE_MASK, mask);
case PAGE_FAULT_ERROR_CODE_MASK:
case PAGE_FAULT_ERROR_CODE_MASK:
vmwrite(PAGE_FAULT_ERROR_CODE_MASK, 0);