Symbol: linux_vdso_tsc_selector_idx
sys/amd64/linux/linux_sysvec.c
757
*ktsc_selector = linux_vdso_tsc_selector_idx();
sys/amd64/linux32/linux32_sysvec.c
856
*ktsc_selector = linux_vdso_tsc_selector_idx();
sys/i386/linux/linux_sysvec.c
698
*ktsc_selector = linux_vdso_tsc_selector_idx();
sys/x86/linux/linux_x86.h
39
int linux_vdso_tsc_selector_idx(void);