59 	printf("PF running\n");  in do_pf_tss()
87 	printf("OF isr running\n");  in of_isr()
94 	printf("NP isr running %lx err=%lx\n", r->rip, r->error_code);  in np_isr()
101 	printf("DE isr running divider is %d\n", test_divider);  in de_isr()
107 	printf("BP isr running\n");  in bp_isr()
113 	printf("Nested NMI isr running rip=%lx\n", r->rip);  in nested_nmi_isr()
120 	printf("NMI isr running %p\n", &isr_iret_ip);  in nmi_isr()
123 	printf("Sending nested NMI to self\n");  in nmi_isr()
126 	printf("After nested NMI to self\n");  in nmi_isr()
133 	printf("Nested NMI isr running rip=%lx\n", r->rip);  in nested_nmi_iret_isr()
181 	printf("NMI isr running stack %p\n", s);  in nmi_iret_isr()
183 	printf("Sending nested NMI to self\n");  in nmi_iret_isr()
185 	printf("After nested NMI to self\n");  in nmi_iret_isr()
188 	printf("After iret\n");  in nmi_iret_isr()
193 	printf("irq0 running\n");  in tirq0()
201 	printf("irq1 running\n");  in tirq1()
230 	printf("Try to divide by 0\n");  in main()
235 	printf("Result is %d\n", res);  in main()
241 	printf("Try int 3\n");  in main()
245 	printf("After int 3\n");  in main()
253 	printf("Try into\n");  in main()
255 	printf("After into\n");  in main()
263 	printf("Try into\n");  in main()
265 	printf("After into\n");  in main()
272 	printf("Sending vec 33 to self\n");  in main()
277 	printf("After vec 33 to self\n");  in main()
283 	printf("Try int $33\n");  in main()
286 	printf("After int $33\n");  in main()
293 	printf("Sending vec 32 and 33 to self\n");  in main()
298 	printf("After vec 32 and 33 to self\n");  in main()
307 	printf("Sending vec 32 and int $33\n");  in main()
313 	printf("After vec 32 and int $33\n");  in main()
320 	printf("Sending vec 33 and 62 and mask one with TPR\n");  in main()
327 	printf("After 33/62 TPR test\n");  in main()
334 	printf("Before NP test\n");  in main()
341 	printf("After int33\n");  in main()
348 	printf("Sending NMI to self\n");  in main()
350 	printf("After NMI to self\n");  in main()
358 	printf("Before NMI IRET test\n");  in main()
361 	printf("Sending NMI to self\n");  in main()
367 	printf("After NMI to self\n");  in main()
376 	printf("Try to divide by 0\n");  in main()
387 	printf("Result is %d\n", res);  in main()
391 	printf("Before NP test\n");  in main()
405 	printf("After int33\n");  in main()
425 	printf("Try int 33 with shadowed stack\n");  in main()
429 	printf("After int 33 with shadowed stack\n");  in main()