Function creusot_contracts::std::arch::x86_64::__get_cpuid_max

pub unsafe fn __get_cpuid_max(leaf: u32) -> (u32, u32)

Available on x86-64 only.

Returns the highest-supported leaf (EAX) and sub-leaf (ECX) cpuid values.

If cpuid is supported, and leaf is zero, then the first tuple argument contains the highest leaf value that cpuid supports. For leafs containing sub-leafs, the second tuple argument contains the highest-supported sub-leaf value.

See also __cpuid and __cpuid_count.