100 static void clear_evtchn_to_irq_row(unsigned row)  in clear_evtchn_to_irq_row()  argument
105 		evtchn_to_irq[row][col] = -1;  in clear_evtchn_to_irq_row()
110 	unsigned row;  in clear_evtchn_to_irq_all()  local
112 	for (row = 0; row < EVTCHN_ROW(xen_evtchn_max_channels()); row++) {  in clear_evtchn_to_irq_all()
113 		if (evtchn_to_irq[row] == NULL)  in clear_evtchn_to_irq_all()
115 		clear_evtchn_to_irq_row(row);  in clear_evtchn_to_irq_all()
121 	unsigned row;  in set_evtchn_to_irq()  local
127 	row = EVTCHN_ROW(evtchn);  in set_evtchn_to_irq()
130 	if (evtchn_to_irq[row] == NULL) {  in set_evtchn_to_irq()
135 		evtchn_to_irq[row] = (int *)get_zeroed_page(GFP_KERNEL);  in set_evtchn_to_irq()
136 		if (evtchn_to_irq[row] == NULL)  in set_evtchn_to_irq()
139 		clear_evtchn_to_irq_row(row);  in set_evtchn_to_irq()