Lines Matching defs:idt0
105 gate_desc_t *idt0; /* interrupt descriptor table */
107 desctbr_t idt0_default_r; /* describes idt0 in IDTR format */
1008 brand_tbl[0].ih_default_desc = idt0[T_SYSCALLINT];
1196 ASSERT(NIDT * sizeof (*idt0) <= PAGESIZE);
1198 idt0 = (gate_desc_t *)BOP_ALLOC(bootops, (caddr_t)IDT_VA,
1200 bzero(idt0, PAGESIZE);
1201 init_idt(idt0);
1203 xen_idt_write(&idt0[vec], vec);
1205 CPU->cpu_idt = idt0;
1231 ASSERT(NIDT * sizeof (*idt0) <= PAGESIZE);
1233 idt0 = (gate_desc_t *)BOP_ALLOC(bootops, (caddr_t)IDT_VA,
1235 bzero(idt0, PAGESIZE);
1262 init_idt(idt0);
1264 idtr.dtr_base = (uintptr_t)idt0;
1265 idtr.dtr_limit = (NIDT * sizeof (*idt0)) - 1;
1267 CPU->cpu_idt = idt0;
1271 * We maintain a description of idt0 in convenient IDTR format