HomeSort by: relevance | last modified time | path
    Searched refs:PIC_XEN (Results 1 - 4 of 4) sorted by relevancy

  /src/sys/arch/x86/include/
pic.h 41 #define PIC_XEN 6
  /src/sys/arch/xen/x86/
xen_intr.c 156 if (pic->pic_type == PIC_XEN) {
252 if (ih->ih_pic->pic_type == PIC_XEN) {
382 KASSERT(pic->pic_type == PIC_XEN);
482 if (pic->pic_type == PIC_XEN) {
  /src/sys/arch/xen/xen/
evtchn.c 135 .pic_type = PIC_XEN,
177 * really important routing is from pin to idt_vec. On PIC_XEN, all
189 * PIC_XEN , 'pin' , 'irq' and 'idt_vec' are all identical to the
200 * able to conform better to (PIC_LAPIC/PIC_IOAPIC)->PIC_XEN
423 KASSERT(pic->pic_type == PIC_XEN);
434 KASSERT(pic->pic_type == PIC_XEN);
456 KASSERT(pic->pic_type == PIC_XEN);
481 KASSERT(pic->pic_type == PIC_XEN);
  /src/sys/arch/x86/x86/
intr.c 329 if (pic->pic_type == PIC_XEN) {
1303 KASSERT(pic->pic_type == PIC_XEN);

Completed in 19 milliseconds