Searched refs:kern_tsc_selector (Results 1 – 11 of 11) sorted by relevance
127 return (tsc_selector[kern_tsc_selector].ts_rdtsc_low(th));134 return (tsc_selector[kern_tsc_selector].ts_rdtsc32());
48 uint32_t kern_tsc_selector = 0; variable
68 kern_tsc_selector;
119 LINUX_VDSO_SYM_INTPTR(kern_tsc_selector);753 tkoff = kern_tsc_selector - linux_vdso_base; in linux_exec_sysvec_init()
76 kern_tsc_selector;
130 LINUX_VDSO_SYM_INTPTR(kern_tsc_selector);851 tkoff = kern_tsc_selector - linux_vdso_base; in linux_exec_sysvec_init()
117 LINUX_VDSO_SYM_INTPTR(kern_tsc_selector);692 tkoff = kern_tsc_selector - linux_vdso_base; in linux_exec_sysvec_init()