109 		    run->debug.arch.exception == BP_VECTOR &&  in main()
110 		    run->debug.arch.pc == CAST_TO_RIP(sw_bp),  in main()
112 		    run->exit_reason, run->debug.arch.exception,  in main()
113 		    run->debug.arch.pc, CAST_TO_RIP(sw_bp));  in main()
120 		debug.arch.debugreg[i] = CAST_TO_RIP(hw_bp);  in main()
121 		debug.arch.debugreg[7] = 0x400 | (1UL << (2*i+1));  in main()
126 			    run->debug.arch.exception == DB_VECTOR &&  in main()
127 			    run->debug.arch.pc == CAST_TO_RIP(hw_bp) &&  in main()
128 			    run->debug.arch.dr6 == target_dr6,  in main()
131 			    i, run->exit_reason, run->debug.arch.exception,  in main()
132 			    run->debug.arch.pc, CAST_TO_RIP(hw_bp),  in main()
133 			    run->debug.arch.dr6, target_dr6);  in main()
142 		debug.arch.debugreg[i] = CAST_TO_RIP(guest_value);  in main()
143 		debug.arch.debugreg[7] = 0x00000400 | (1UL << (2*i+1)) |  in main()
149 			    run->debug.arch.exception == DB_VECTOR &&  in main()
150 			    run->debug.arch.pc == CAST_TO_RIP(write_data) &&  in main()
151 			    run->debug.arch.dr6 == target_dr6,  in main()
154 			    i, run->exit_reason, run->debug.arch.exception,  in main()
155 			    run->debug.arch.pc, CAST_TO_RIP(write_data),  in main()
156 			    run->debug.arch.dr6, target_dr6);  in main()
171 		debug.arch.debugreg[7] = 0x00000400;  in main()
175 			    run->debug.arch.exception == DB_VECTOR &&  in main()
176 			    run->debug.arch.pc == target_rip &&  in main()
177 			    run->debug.arch.dr6 == target_dr6,  in main()
180 			    i, run->exit_reason, run->debug.arch.exception,  in main()
181 			    run->debug.arch.pc, target_rip, run->debug.arch.dr6,  in main()
188 	debug.arch.debugreg[7] = 0x400 | DR7_GD;  in main()
193 		    run->debug.arch.exception == DB_VECTOR &&  in main()
194 		    run->debug.arch.pc == CAST_TO_RIP(bd_start) &&  in main()
195 		    run->debug.arch.dr6 == target_dr6,  in main()
198 			    run->exit_reason, run->debug.arch.exception,  in main()
199 			    run->debug.arch.pc, target_rip, run->debug.arch.dr6,  in main()