timer_mapping_base   28 arch/nds32/kernel/vdso.c static unsigned long timer_mapping_base;
timer_mapping_base   57 arch/nds32/kernel/vdso.c 	timer_mapping_base = timer_info.mapping_base;
timer_mapping_base  125 arch/nds32/kernel/vdso.c 	if(timer_mapping_base == EMPTY_VALUE)
timer_mapping_base  171 arch/nds32/kernel/vdso.c 	ret = io_remap_pfn_range(vma, vdso_base, timer_mapping_base >> PAGE_SHIFT,