Searched refs:synch_set_bit (Results 1 – 3 of 3) sorted by relevance
89 synch_set_bit(port, &s->evtchn_mask[0]); in evtchn_mask_port()
13 static __inline__ void synch_set_bit(int nr, volatile void * addr) in synch_set_bit() function