Searched refs:ktsc_selector (Results 1 – 3 of 3) sorted by relevance
742 l_uintptr_t *ktimekeep_base, *ktsc_selector; in linux_exec_sysvec_init() local756 ktsc_selector = (l_uintptr_t *)(linux_vdso_mapping + tkoff); in linux_exec_sysvec_init()757 *ktsc_selector = linux_vdso_tsc_selector_idx(); in linux_exec_sysvec_init()759 printf("Linux x86-64 vDSO tsc_selector: %lu\n", *ktsc_selector); in linux_exec_sysvec_init()762 ktsc_selector = (l_uintptr_t *)(linux_vdso_mapping + tkoff); in linux_exec_sysvec_init()763 *ktsc_selector = linux_vdso_cpu_selector_idx(); in linux_exec_sysvec_init()765 printf("Linux x86-64 vDSO cpu_selector: %lu\n", *ktsc_selector); in linux_exec_sysvec_init()
684 l_uintptr_t *ktimekeep_base, *ktsc_selector; in linux_exec_sysvec_init() local697 ktsc_selector = (l_uintptr_t *)(linux_vdso_mapping + tkoff); in linux_exec_sysvec_init()698 *ktsc_selector = linux_vdso_tsc_selector_idx(); in linux_exec_sysvec_init()700 printf("Linux i386 vDSO tsc_selector: %u\n", *ktsc_selector); in linux_exec_sysvec_init()703 ktsc_selector = (l_uintptr_t *)(linux_vdso_mapping + tkoff); in linux_exec_sysvec_init()704 *ktsc_selector = linux_vdso_cpu_selector_idx(); in linux_exec_sysvec_init()706 printf("Linux i386 vDSO cpu_selector: %u\n", *ktsc_selector); in linux_exec_sysvec_init()
842 l_uintptr_t *ktimekeep_base, *ktsc_selector; in linux_exec_sysvec_init() local855 ktsc_selector = (l_uintptr_t *)(linux_vdso_mapping + tkoff); in linux_exec_sysvec_init()856 *ktsc_selector = linux_vdso_tsc_selector_idx(); in linux_exec_sysvec_init()858 printf("Linux i386 vDSO tsc_selector: %u\n", *ktsc_selector); in linux_exec_sysvec_init()861 ktsc_selector = (l_uintptr_t *)(linux_vdso_mapping + tkoff); in linux_exec_sysvec_init()862 *ktsc_selector = linux_vdso_cpu_selector_idx(); in linux_exec_sysvec_init()864 printf("Linux i386 vDSO cpu_selector: %u\n", *ktsc_selector); in linux_exec_sysvec_init()