Searched refs:clobbered_registers (Results 1 – 1 of 1) sorted by relevance
246 int clobbered_registers = 4; in do_sdei_event() local252 clobbered_registers++; in do_sdei_event()255 for (i = 0; i < clobbered_registers; i++) { in do_sdei_event()