EMPTY_VALUE 6 arch/nds32/include/asm/vdso_timer_info.h #define EMPTY_TIMER_MAPPING EMPTY_VALUE EMPTY_VALUE 7 arch/nds32/include/asm/vdso_timer_info.h #define EMPTY_REG_OFFSET EMPTY_VALUE EMPTY_VALUE 125 arch/nds32/kernel/vdso.c if(timer_mapping_base == EMPTY_VALUE)