Searched refs:cpuid_insn (Results 1 – 3 of 3) sorted by relevance
132 (void) cpuid_insn(NULL, &crs); in cpuid_read()
713 extern uint32_t cpuid_insn(struct cpu *, struct cpuid_regs *);
2926 cpuid_insn(cpu_t *cpu, struct cpuid_regs *cp) in cpuid_insn() function4716 (void) cpuid_insn(NULL, ®s); in cpuid_arat_supported()4750 (void) cpuid_insn(NULL, ®s); in cpuid_iepb_supported()4776 (void) cpuid_insn(NULL, ®s); in cpuid_deadline_tsc_supported()