Home
last modified time | relevance | path

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

/freebsd/sys/x86/linux/
H A Dlinux_x86.h40 int linux_vdso_cpu_selector_idx(void);
H A Dlinux_vdso_selector_x86.c59 linux_vdso_cpu_selector_idx(void) in linux_vdso_cpu_selector_idx() function
/freebsd/sys/amd64/linux/
H A Dlinux_sysvec.c761 *ktsc_selector = linux_vdso_cpu_selector_idx(); in linux_exec_sysvec_init()
/freebsd/sys/i386/linux/
H A Dlinux_sysvec.c700 *ktsc_selector = linux_vdso_cpu_selector_idx(); in linux_exec_sysvec_init()
/freebsd/sys/amd64/linux32/
H A Dlinux32_sysvec.c859 *ktsc_selector = linux_vdso_cpu_selector_idx(); in linux_exec_sysvec_init()