Searched refs:vsyscall_getcpu (Results 1 – 1 of 1) sorted by relevance
69 static void *vsyscall_getcpu(void) in vsyscall_getcpu() function133 vgetcpu = (getcpu_t) vsyscall_getcpu(); in fill_function_pointers()