BASE_STD          188 kernel/time/timer.c # define BASE_STD	0
BASE_STD          192 kernel/time/timer.c # define BASE_STD	0