SYSCALL_TIME_SYS_ENTRY
SYSCALL_TIME_SYS_ENTRY(l, syscall_times, code);
#ifndef SYSCALL_TIME_SYS_ENTRY