Tomas Hruby 88f7b63019 u64_t for human beings - the high and low parts are named hi and lo, lib/sysutil/profile.c updated accordingly

2009-08-13 15:47:49 +00:00

..

asynsend.c

…

env_get_prm.c

…

env_panic.c

…

env_parse.c

…

env_prefix.c

…

fkey_ctl.c

…

get_randomness.c

…

getuptime2.c

…

getuptime.c

…

kmalloc.c

…

kprintf.c

…

kputc.c

…

Makefile.in

…

micro_delay.c

…

profile_extern.c

…

profile.c

…

read_tsc_64.c

…

read_tsc.s

…

report.c

…

ser_putc.c

…

stacktrace.c

…

sys_hz.c

…

sysutil.h

…

taskcall.c

…

tickdelay.c

…

timing.c

…