Home
last modified time | relevance | path

Searched refs:idt_allocmap (Results 1 – 4 of 4) sorted by relevance

/openbsd/src/sys/arch/amd64/amd64/
Dlapic.c87 extern char idt_allocmap[];
358 idt_allocmap[LAPIC_IPI_VECTOR] = 1; in lapic_boot_init()
360 idt_allocmap[LAPIC_IPI_INVLTLB] = 1; in lapic_boot_init()
361 idt_allocmap[LAPIC_IPI_INVLPG] = 1; in lapic_boot_init()
362 idt_allocmap[LAPIC_IPI_INVLRANGE] = 1; in lapic_boot_init()
372 idt_allocmap[LAPIC_IPI_WBINVD] = 1; in lapic_boot_init()
375 idt_allocmap[LAPIC_IPI_INVEPT] = 1; in lapic_boot_init()
379 idt_allocmap[LAPIC_SPURIOUS_VECTOR] = 1; in lapic_boot_init()
382 idt_allocmap[LAPIC_TIMER_VECTOR] = 1; in lapic_boot_init()
387 idt_allocmap[LAPIC_XEN_VECTOR] = 1; in lapic_boot_init()
[all …]
Dmachdep.c1235 char idt_allocmap[NIDT]; variable
1787 idt_allocmap[x] = 1; in init_x86_64()
1935 if (idt_allocmap[vec] == 0) { in idt_vec_alloc()
1936 idt_allocmap[vec] = 1; in idt_vec_alloc()
1954 if (idt_allocmap[vec + i] != 0) in idt_vec_alloc_range()
1959 idt_allocmap[vec + i] = 1; in idt_vec_alloc_range()
1972 KASSERT(idt_allocmap[vec] == 1); in idt_vec_set()
1981 idt_allocmap[vec] = 0; in idt_vec_free()
Dintr.c90 idt_allocmap[ICU_OFFSET + i] = 1; in intr_default_setup()
/openbsd/src/sys/arch/amd64/include/
Dintr.h194 extern char idt_allocmap[];