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