Searched refs:serialidp (Results 1 – 1 of 1) sorted by relevance
92 cpu_get_serialid_kstat(uint32_t cpuid, uint64_t *serialidp) in cpu_get_serialid_kstat() argument115 *serialidp = kn->value.ui64; in cpu_get_serialid_kstat()138 cpu_get_serialid_V0(uint32_t cpuid, uint64_t *serialidp) in cpu_get_serialid_V0() argument140 return (cpu_get_serialid_kstat(cpuid, serialidp)); in cpu_get_serialid_V0()