Searched refs:kmdb_dpi_msr_get_by_cpu (Results 1 – 4 of 4) sorted by relevance
134 uint64_t rec = kmdb_dpi_msr_get_by_cpu(cpuid, in kmt_p4_branches_unified()153 uintptr_t from = (uintptr_t)kmdb_dpi_msr_get_by_cpu(cpuid, in kmt_p4_branches_split()155 uintptr_t to = (uintptr_t)kmdb_dpi_msr_get_by_cpu(cpuid, in kmt_p4_branches_split()337 tos = (uintptr_t)kmdb_dpi_msr_get_by_cpu(cpuid, p4f->p4f_msr_tos); in kmt_p4_branches()
48 extern uint64_t kmdb_dpi_msr_get_by_cpu(int, uint_t);
159 kmdb_dpi_msr_get_by_cpu(int cpuid, uint_t msr) in kmdb_dpi_msr_get_by_cpu() function
61 addr = (uintptr_t)kmdb_dpi_msr_get_by_cpu(cpuid, msr); in kmt_amd_branch()