CONFIG_NDS32       21 drivers/clocksource/timer-atcpit100.c #ifdef CONFIG_NDS32
CONFIG_NDS32      210 drivers/clocksource/timer-atcpit100.c #ifdef CONFIG_NDS32
CONFIG_NDS32      259 drivers/clocksource/timer-atcpit100.c #ifdef CONFIG_NDS32