clobbered_registers  190 arch/arm64/kernel/sdei.c 	int clobbered_registers = 4;
clobbered_registers  196 arch/arm64/kernel/sdei.c 		clobbered_registers++;
clobbered_registers  199 arch/arm64/kernel/sdei.c 	for (i = 0; i < clobbered_registers; i++) {