147 	compare_regs(&regs, &run->s.regs.regs);  in main()
150 	compare_sregs(&sregs, &run->s.regs.sregs);  in main()
153 	compare_vcpu_events(&events, &run->s.regs.events);  in main()
156 	run->s.regs.regs.rbx = 0xBAD1DEA;  in main()
157 	run->s.regs.sregs.apic_base = 1 << 11;  in main()
167 	TEST_ASSERT(run->s.regs.regs.rbx == 0xBAD1DEA + 1,  in main()
169 		    run->s.regs.regs.rbx);  in main()
170 	TEST_ASSERT(run->s.regs.sregs.apic_base == 1 << 11,  in main()
172 		    run->s.regs.sregs.apic_base);  in main()
175 	compare_regs(&regs, &run->s.regs.regs);  in main()
178 	compare_sregs(&sregs, &run->s.regs.sregs);  in main()
181 	compare_vcpu_events(&events, &run->s.regs.events);  in main()
188 	run->s.regs.regs.rbx = 0xDEADBEEF;  in main()
194 	TEST_ASSERT(run->s.regs.regs.rbx != 0xDEADBEEF,  in main()
196 		    run->s.regs.regs.rbx);  in main()
204 	run->s.regs.regs.rbx = 0xAAAA;  in main()
212 	TEST_ASSERT(run->s.regs.regs.rbx == 0xAAAA,  in main()
214 		    run->s.regs.regs.rbx);  in main()
226 	run->s.regs.regs.rbx = 0xBBBB;  in main()
232 	TEST_ASSERT(run->s.regs.regs.rbx == 0xBBBB,  in main()
234 		    run->s.regs.regs.rbx);  in main()