Searched refs:valid_evtchns (Results 1 – 3 of 3) sorted by relevance
223 write_atomic(&d->valid_evtchns, d->valid_evtchns + EVTCHNS_PER_BUCKET); in evtchn_allocate_port()1440 d->valid_evtchns = EVTCHNS_PER_BUCKET; in evtchn_init()1472 for ( i = d->valid_evtchns; --i; ) in evtchn_destroy()1483 write_atomic(&d->valid_evtchns, i); in evtchn_destroy()
131 if ( p >= read_atomic(&d->valid_evtchns) ) in port_is_valid()
365 unsigned int valid_evtchns; /* number of allocated event channels */ member
Completed in 19 milliseconds