AUX_SDB_INDEX    1357 arch/s390/kernel/perf_cpum_sf.c 	index = AUX_SDB_INDEX(aux, index);
AUX_SDB_INDEX    1446 arch/s390/kernel/perf_cpum_sf.c 	head = AUX_SDB_INDEX(aux, aux->head);