Home
last modified time | relevance | path

Searched defs:kern_tsc_selector (Results 1 – 4 of 4) sorted by relevance

/freebsd/sys/arm64/linux/
H A Dlinux_vdso_gtod.c48 uint32_t kern_tsc_selector = 0; variable
/freebsd/sys/amd64/linux/
H A Dlinux_vdso_gtod.c48 uint32_t kern_tsc_selector = 0; variable
/freebsd/sys/amd64/linux32/
H A Dlinux32_vdso_gtod.c48 uint32_t kern_tsc_selector = 0; variable
/freebsd/sys/i386/linux/
H A Dlinux_vdso_gtod.c48 uint32_t kern_tsc_selector = 0; variable