syscall_boot
{ "boot", syscall_boot, "show total syscall stats since boot"},
void syscall_boot(char *);