sys/arch/x86/x86/intr.c

1303

KASSERT(pic->pic_type == PIC_XEN);

sys/arch/x86/x86/intr.c

329

if (pic->pic_type == PIC_XEN) {

sys/arch/xen/x86/xen_intr.c

156

if (pic->pic_type == PIC_XEN) {

sys/arch/xen/x86/xen_intr.c

252

if (ih->ih_pic->pic_type == PIC_XEN) {

sys/arch/xen/x86/xen_intr.c

382

KASSERT(pic->pic_type == PIC_XEN);

sys/arch/xen/x86/xen_intr.c

482

if (pic->pic_type == PIC_XEN) {

sys/arch/xen/xen/evtchn.c

135

.pic_type = PIC_XEN,

sys/arch/xen/xen/evtchn.c

423

KASSERT(pic->pic_type == PIC_XEN);

sys/arch/xen/xen/evtchn.c

434

KASSERT(pic->pic_type == PIC_XEN);

sys/arch/xen/xen/evtchn.c

456

KASSERT(pic->pic_type == PIC_XEN);

sys/arch/xen/xen/evtchn.c

481

KASSERT(pic->pic_type == PIC_XEN);