699 	uint64_t tsc, addr64, rip64, val64, pte64;  in xdt_process_rec()  local
1114 		val64 = (((uint64_t)data[3]) << 32) | data[2];  in xdt_process_rec()
1115 		XDT_PROBE2(XDT_PV_DT_MAPPING_FAULT, rip64, val64);  in xdt_process_rec()
1253 		val64 = (((uint64_t)data[2]) << 32) | data[1];  in xdt_process_rec()
1254 		XDT_PROBE2(XDT_HVM_CR_READ, data[0], val64);  in xdt_process_rec()
1269 		val64 = (((uint64_t)data[2]) << 32) | data[1];  in xdt_process_rec()
1270 		XDT_PROBE2(XDT_HVM_CR_READ, data[0], val64);  in xdt_process_rec()
1300 		val64 = (((uint64_t)data[3]) << 32) | data[2];  in xdt_process_rec()
1301 		XDT_PROBE2(XDT_HVM_MSR_READ, data[0], val64);  in xdt_process_rec()
1311 		val64 = (((uint64_t)data[2]) << 32) | data[1];  in xdt_process_rec()
1312 		XDT_PROBE2(XDT_HVM_MSR_WRITE, data[0], val64);  in xdt_process_rec()
1437 		val64 = (((uint64_t)data[1]) << 32) | data[0];  in xdt_process_rec()
1438 		XDT_PROBE1(XDT_HVM_LMSW, val64);  in xdt_process_rec()
1581 		val64 = ((uint64_t)data[3] << 32) | data[2];  in xdt_process_rec()
1582 		XDT_PROBE5(XDT_SHADOW_EMULATE, pte64, val64, data[4],  in xdt_process_rec()
1597 		val64 = ((uint64_t)data[3] << 32) | data[2];  in xdt_process_rec()
1599 		XDT_PROBE5(XDT_SHADOW_EMULATE, pte64, val64, data[4],  in xdt_process_rec()
1617 		val64 = ((uint64_t)data[1] << 32) | data[0];  in xdt_process_rec()
1619 		XDT_PROBE2(XDT_SHADOW_EMULATE_UNSHADOW_USER, val64, addr64);  in xdt_process_rec()
1637 		val64 = ((uint64_t)data[1] << 32) | data[0];  in xdt_process_rec()
1639 		XDT_PROBE2(XDT_SHADOW_EMULATE_UNSHADOW_EVTINJ, val64, addr64);  in xdt_process_rec()
1657 		val64 = ((uint64_t)data[1] << 32) | data[0];  in xdt_process_rec()
1659 		XDT_PROBE2(XDT_SHADOW_EMULATE_UNSHADOW_UNHANDLED, val64,  in xdt_process_rec()
1667 		val64 = ((uint64_t)data[1] << 32) | data[0];  in xdt_process_rec()
1668 		XDT_PROBE1(XDT_SHADOW_WRMAP_BF, val64);  in xdt_process_rec()
1675 		val64 = ((uint64_t)data[1] << 32) | data[0];  in xdt_process_rec()
1676 		XDT_PROBE1(XDT_SHADOW_PREALLOC_UNPIN, val64);  in xdt_process_rec()
1683 		val64 = ((uint64_t)data[1] << 32) | data[0];  in xdt_process_rec()
1684 		XDT_PROBE1(XDT_SHADOW_RESYNC_FULL, val64);  in xdt_process_rec()
1691 		val64 = ((uint64_t)data[1] << 32) | data[0];  in xdt_process_rec()
1692 		XDT_PROBE1(XDT_SHADOW_RESYNC_ONLY, val64);  in xdt_process_rec()