Home
last modified time | relevance | path

Searched refs:linux_vdso_tsc_selector_idx (Results 1 – 5 of 5) sorted by relevance

/freebsd/sys/x86/linux/
H A Dlinux_x86.h39 int linux_vdso_tsc_selector_idx(void);
H A Dlinux_vdso_selector_x86.c41 linux_vdso_tsc_selector_idx(void) in linux_vdso_tsc_selector_idx() function
/freebsd/sys/amd64/linux/
H A Dlinux_sysvec.c755 *ktsc_selector = linux_vdso_tsc_selector_idx(); in linux_exec_sysvec_init()
/freebsd/sys/i386/linux/
H A Dlinux_sysvec.c694 *ktsc_selector = linux_vdso_tsc_selector_idx(); in linux_exec_sysvec_init()
/freebsd/sys/amd64/linux32/
H A Dlinux32_sysvec.c853 *ktsc_selector = linux_vdso_tsc_selector_idx(); in linux_exec_sysvec_init()