Symbol: linux_vdso_cpu_selector_idx
sys/amd64/linux/linux_sysvec.c
763
*ktsc_selector = linux_vdso_cpu_selector_idx();
sys/amd64/linux32/linux32_sysvec.c
862
*ktsc_selector = linux_vdso_cpu_selector_idx();
sys/i386/linux/linux_sysvec.c
704
*ktsc_selector = linux_vdso_cpu_selector_idx();
sys/x86/linux/linux_x86.h
40
int linux_vdso_cpu_selector_idx(void);