Searched refs:cpuid_insn (Results 1 – 3 of 3) sorted by relevance
132 (void) cpuid_insn(NULL, &crs); in cpuid_read()
767 extern uint32_t cpuid_insn(struct cpu *, struct cpuid_regs *);
2950 cpuid_insn(cpu_t *cpu, struct cpuid_regs *cp) in cpuid_insn() function4740 (void) cpuid_insn(NULL, ®s); in cpuid_arat_supported()4774 (void) cpuid_insn(NULL, ®s); in cpuid_iepb_supported()4800 (void) cpuid_insn(NULL, ®s); in cpuid_deadline_tsc_supported()