Symbol: ec_is_edge_pirq
usr/src/uts/i86xpv/io/psm/xpv_psm.c
537
if (!ec_is_edge_pirq(intno))
usr/src/uts/i86xpv/os/evtchn.c
1356
if (ec_is_edge_pirq(irq)) {
usr/src/uts/i86xpv/sys/evtchn_impl.h
146
extern int ec_is_edge_pirq(int);