Searched refs:ktsc_selector (Results 1 – 3 of 3) sorted by relevance
740 l_uintptr_t *ktimekeep_base, *ktsc_selector; in linux_exec_sysvec_init() local754 ktsc_selector = (l_uintptr_t *)(linux_vdso_mapping + tkoff); in linux_exec_sysvec_init()755 *ktsc_selector = linux_vdso_tsc_selector_idx(); in linux_exec_sysvec_init()757 printf("Linux x86-64 vDSO tsc_selector: %lu\n", *ktsc_selector); in linux_exec_sysvec_init()760 ktsc_selector = (l_uintptr_t *)(linux_vdso_mapping + tkoff); in linux_exec_sysvec_init()761 *ktsc_selector = linux_vdso_cpu_selector_idx(); in linux_exec_sysvec_init()763 printf("Linux x86-64 vDSO cpu_selector: %lu\n", *ktsc_selector); in linux_exec_sysvec_init()
680 l_uintptr_t *ktimekeep_base, *ktsc_selector; in linux_exec_sysvec_init() local693 ktsc_selector = (l_uintptr_t *)(linux_vdso_mapping + tkoff); in linux_exec_sysvec_init()694 *ktsc_selector = linux_vdso_tsc_selector_idx(); in linux_exec_sysvec_init()696 printf("Linux i386 vDSO tsc_selector: %u\n", *ktsc_selector); in linux_exec_sysvec_init()699 ktsc_selector = (l_uintptr_t *)(linux_vdso_mapping + tkoff); in linux_exec_sysvec_init()700 *ktsc_selector = linux_vdso_cpu_selector_idx(); in linux_exec_sysvec_init()702 printf("Linux i386 vDSO cpu_selector: %u\n", *ktsc_selector); in linux_exec_sysvec_init()
839 l_uintptr_t *ktimekeep_base, *ktsc_selector; in linux_exec_sysvec_init() local852 ktsc_selector = (l_uintptr_t *)(linux_vdso_mapping + tkoff); in linux_exec_sysvec_init()853 *ktsc_selector = linux_vdso_tsc_selector_idx(); in linux_exec_sysvec_init()855 printf("Linux i386 vDSO tsc_selector: %u\n", *ktsc_selector); in linux_exec_sysvec_init()858 ktsc_selector = (l_uintptr_t *)(linux_vdso_mapping + tkoff); in linux_exec_sysvec_init()859 *ktsc_selector = linux_vdso_cpu_selector_idx(); in linux_exec_sysvec_init()861 printf("Linux i386 vDSO cpu_selector: %u\n", *ktsc_selector); in linux_exec_sysvec_init()