clear_evtchn_to_irq_row
clear_evtchn_to_irq_row(evtchn_to_irq[row]);
clear_evtchn_to_irq_row(evtchn_row);