PAGE_FAULT_ERROR_CODE_MATCH
EVMCS1_FIELD(PAGE_FAULT_ERROR_CODE_MATCH, page_fault_error_code_match,
vmcs_write32(PAGE_FAULT_ERROR_CODE_MATCH, 0);
vmcs_write32(PAGE_FAULT_ERROR_CODE_MATCH, vmcs12->page_fault_error_code_match);
FIELD(PAGE_FAULT_ERROR_CODE_MATCH, page_fault_error_code_match),
vmcs_write32(PAGE_FAULT_ERROR_CODE_MATCH, 0);
vmcs_read32(PAGE_FAULT_ERROR_CODE_MATCH));
vmcs_write32(PAGE_FAULT_ERROR_CODE_MATCH, match);
case PAGE_FAULT_ERROR_CODE_MATCH:
case PAGE_FAULT_ERROR_CODE_MATCH:
vmwrite(PAGE_FAULT_ERROR_CODE_MATCH, -1); /* Never match */