mapping_base       12 arch/nds32/include/asm/vdso_timer_info.h 	unsigned long mapping_base;
mapping_base       32 arch/nds32/kernel/vdso.c 	.mapping_base = EMPTY_TIMER_MAPPING,
mapping_base       57 arch/nds32/kernel/vdso.c 	timer_mapping_base = timer_info.mapping_base;
mapping_base      215 drivers/clocksource/timer-atcpit100.c 	timer_info.mapping_base = (unsigned long)timer_res.start;