Searched refs:kern_cpu_selector (Results 1 – 10 of 10) sorted by relevance
49 uint32_t kern_cpu_selector = 0; variable
69 kern_cpu_selector;
120 LINUX_VDSO_SYM_INTPTR(kern_cpu_selector);759 tkoff = kern_cpu_selector - linux_vdso_base; in linux_exec_sysvec_init()
77 kern_cpu_selector;
131 LINUX_VDSO_SYM_INTPTR(kern_cpu_selector);857 tkoff = kern_cpu_selector - linux_vdso_base; in linux_exec_sysvec_init()
118 LINUX_VDSO_SYM_INTPTR(kern_cpu_selector);698 tkoff = kern_cpu_selector - linux_vdso_base; in linux_exec_sysvec_init()
57 switch (kern_cpu_selector) {