const unsigned long linux_vsyscall_vector[] = {
LINUX_SYS_gettimeofday,
LINUX_SYS_linux_time,
/* getcpu not implemented */
LINUX_SYS_linux_getcpu, /* getcpu not implemented */
};
static int