26 	printf("NMI task is running\n");  in nmi_tss()
36 	printf("DE task is running\n");  in de_tss()
47 	printf("OF task is running\n");  in of_tss()
57 	printf("BP task is running\n");  in bp_tss()
66 	printf("PF task is running %p %lx\n", error_code, *error_code);  in do_pf_tss()
88 	printf("JMP to task succeeded\n");  in jmp_tss()
98 	printf("IRQ task is running\n");  in irq_tss()
103 	printf("IRQ task restarts after iret.\n");  in irq_tss()
110 	printf("Conforming task is running\n");  in user_tss()
124 	printf("Triggering nmi 2\n");  in test_kernel_mode_int()
126 	printf("Return from nmi %d\n", test_count);  in test_kernel_mode_int()
132 	printf("Triggering nmi through APIC\n");  in test_kernel_mode_int()
135 	printf("Return from APIC nmi\n");  in test_kernel_mode_int()
140 	printf("Trigger IRQ from APIC\n");  in test_kernel_mode_int()
146 	printf("Return from APIC IRQ\n");  in test_kernel_mode_int()
151 	printf("Try to divide by 0\n");  in test_kernel_mode_int()
154 	printf("Result is %d\n", res);  in test_kernel_mode_int()
160 	printf("Call int 0\n");  in test_kernel_mode_int()
162 	printf("Return from int 0\n");  in test_kernel_mode_int()
168 	printf("Call into\n");  in test_kernel_mode_int()
170 	printf("Return from into\n");  in test_kernel_mode_int()
176 	printf("Call int 3\n");  in test_kernel_mode_int()
178 	printf("Return from int 3\n");  in test_kernel_mode_int()
189 	printf("Access unmapped page\n");  in test_kernel_mode_int()
191 	printf("Return from pf tss\n");  in test_kernel_mode_int()
200 	printf("Calling task by lcall\n");  in test_gdt_task_gate()
204 	printf("Return from call\n");  in test_gdt_task_gate()
215 	printf("Jumping to a task by ljmp\n");  in test_gdt_task_gate()
217 	printf("Jump back succeeded\n");  in test_gdt_task_gate()
256     printf("Switch to VM86 task and back\n");  in test_vm86_switch()