59     bsd_i386_set_idt(0, 0);  in target_cpu_init()
60     bsd_i386_set_idt(1, 0);  in target_cpu_init()
61     bsd_i386_set_idt(2, 0);  in target_cpu_init()
62     bsd_i386_set_idt(3, 3);  in target_cpu_init()
63     bsd_i386_set_idt(4, 3);  in target_cpu_init()
64     bsd_i386_set_idt(5, 0);  in target_cpu_init()
65     bsd_i386_set_idt(6, 0);  in target_cpu_init()
66     bsd_i386_set_idt(7, 0);  in target_cpu_init()
67     bsd_i386_set_idt(8, 0);  in target_cpu_init()
68     bsd_i386_set_idt(9, 0);  in target_cpu_init()
69     bsd_i386_set_idt(10, 0);  in target_cpu_init()
70     bsd_i386_set_idt(11, 0);  in target_cpu_init()
71     bsd_i386_set_idt(12, 0);  in target_cpu_init()
72     bsd_i386_set_idt(13, 0);  in target_cpu_init()
73     bsd_i386_set_idt(14, 0);  in target_cpu_init()
74     bsd_i386_set_idt(15, 0);  in target_cpu_init()
75     bsd_i386_set_idt(16, 0);  in target_cpu_init()
76     bsd_i386_set_idt(17, 0);  in target_cpu_init()
77     bsd_i386_set_idt(18, 0);  in target_cpu_init()
78     bsd_i386_set_idt(19, 0);  in target_cpu_init()
79     bsd_i386_set_idt(0x80, 3);  in target_cpu_init()