CTOP_AUX_THREAD_ID  147 drivers/clocksource/timer-nps.c 	thread = read_aux_reg(CTOP_AUX_THREAD_ID);
CTOP_AUX_THREAD_ID  169 drivers/clocksource/timer-nps.c 	thread = read_aux_reg(CTOP_AUX_THREAD_ID);