No more HZ; move stacktrace() to library

This commit is contained in:
Ben Gras 2008-12-11 14:36:37 +00:00
parent 825dfb0282
commit 3e29947e28
3 changed files with 3 additions and 3 deletions

View file

@ -22,6 +22,7 @@ libsys_FILES=" \
taskcall.c \
read_tsc.s \
read_tsc_64.c \
ser_putc.c \
stacktrace.c \
sys_hz.c \
profile_extern.c \

View file

@ -32,8 +32,7 @@ micro_delay_calibrate(void)
unsigned long t = 0;
/* Get HZ. */
if(sys_getinfo(GET_HZ, &Hz, sizeof(Hz), 0, 0) != OK)
Hz = HZ;
Hz = sys_hz();
/* Wait for clock to tick. */
while(!t || (t == times(&tms)))

View file

@ -19,7 +19,7 @@ sys_hz(void)
int r;
/* Get HZ. */
if((r=sys_getinfo(GET_HZ, &Hz, sizeof(Hz), 0, 0)) != OK) {
Hz = HZ;
Hz = DEFAULT_HZ;
printf("sys_hz: %d: reverting to HZ = %d\n", r, Hz);
}
}