usr/src/uts/common/xen/io/evtchn_dev.c

316

(void) ec_mask_evtchn(port);

usr/src/uts/i86xpv/os/evtchn.c

1172

(void) ec_mask_evtchn(i);

usr/src/uts/i86xpv/os/evtchn.c

1196

(void) ec_mask_evtchn(i);

usr/src/uts/i86xpv/os/evtchn.c

1326

if (ec_mask_evtchn(port)) {

usr/src/uts/i86xpv/os/evtchn.c

1340

if (ec_mask_evtchn(port)) {

usr/src/uts/i86xpv/os/evtchn.c

1568

(void) ec_mask_evtchn(evtchn);

usr/src/uts/i86xpv/os/evtchn.c

252

(void) ec_mask_evtchn(*evtchnp);

usr/src/uts/i86xpv/os/evtchn.c

896

while (!ec_mask_evtchn(irq_evtchn(irqp)))

usr/src/uts/i86xpv/sys/evtchn_impl.h

182

extern int ec_mask_evtchn(unsigned int);