699 	uint64_t tsc, addr64, rip64, val64, pte64;  in xdt_process_rec()  local
1115 		val64 = (((uint64_t)data[3]) << 32) | data[2];  in xdt_process_rec()
1116 		XDT_PROBE2(XDT_PV_DT_MAPPING_FAULT, rip64, val64);  in xdt_process_rec()
1254 		val64 = (((uint64_t)data[2]) << 32) | data[1];  in xdt_process_rec()
1255 		XDT_PROBE2(XDT_HVM_CR_READ, data[0], val64);  in xdt_process_rec()
1270 		val64 = (((uint64_t)data[2]) << 32) | data[1];  in xdt_process_rec()
1271 		XDT_PROBE2(XDT_HVM_CR_READ, data[0], val64);  in xdt_process_rec()
1301 		val64 = (((uint64_t)data[3]) << 32) | data[2];  in xdt_process_rec()
1302 		XDT_PROBE2(XDT_HVM_MSR_READ, data[0], val64);  in xdt_process_rec()
1312 		val64 = (((uint64_t)data[2]) << 32) | data[1];  in xdt_process_rec()
1313 		XDT_PROBE2(XDT_HVM_MSR_WRITE, data[0], val64);  in xdt_process_rec()
1438 		val64 = (((uint64_t)data[1]) << 32) | data[0];  in xdt_process_rec()
1439 		XDT_PROBE1(XDT_HVM_LMSW, val64);  in xdt_process_rec()
1582 		val64 = ((uint64_t)data[3] << 32) | data[2];  in xdt_process_rec()
1583 		XDT_PROBE5(XDT_SHADOW_EMULATE, pte64, val64, data[4],  in xdt_process_rec()
1598 		val64 = ((uint64_t)data[3] << 32) | data[2];  in xdt_process_rec()
1600 		XDT_PROBE5(XDT_SHADOW_EMULATE, pte64, val64, data[4],  in xdt_process_rec()
1618 		val64 = ((uint64_t)data[1] << 32) | data[0];  in xdt_process_rec()
1620 		XDT_PROBE2(XDT_SHADOW_EMULATE_UNSHADOW_USER, val64, addr64);  in xdt_process_rec()
1638 		val64 = ((uint64_t)data[1] << 32) | data[0];  in xdt_process_rec()
1640 		XDT_PROBE2(XDT_SHADOW_EMULATE_UNSHADOW_EVTINJ, val64, addr64);  in xdt_process_rec()
1658 		val64 = ((uint64_t)data[1] << 32) | data[0];  in xdt_process_rec()
1660 		XDT_PROBE2(XDT_SHADOW_EMULATE_UNSHADOW_UNHANDLED, val64,  in xdt_process_rec()
1668 		val64 = ((uint64_t)data[1] << 32) | data[0];  in xdt_process_rec()
1669 		XDT_PROBE1(XDT_SHADOW_WRMAP_BF, val64);  in xdt_process_rec()
1676 		val64 = ((uint64_t)data[1] << 32) | data[0];  in xdt_process_rec()
1677 		XDT_PROBE1(XDT_SHADOW_PREALLOC_UNPIN, val64);  in xdt_process_rec()
1684 		val64 = ((uint64_t)data[1] << 32) | data[0];  in xdt_process_rec()
1685 		XDT_PROBE1(XDT_SHADOW_RESYNC_FULL, val64);  in xdt_process_rec()
1692 		val64 = ((uint64_t)data[1] << 32) | data[0];  in xdt_process_rec()
1693 		XDT_PROBE1(XDT_SHADOW_RESYNC_ONLY, val64);  in xdt_process_rec()