Module Amd64Source

Sourceval cpuid_leaf : int -> int -> int * int * int * int

cpuid_leaf code leaf is the CPUID instruction with input code(eax) and leaf(ecx), return is the tuple (eax * ebx * ecx * edx)

Sourceval cpuid : int -> int * int * int * int

cpuid code is cpuid_leaf code 0

Sourceval register_to_bytes : int -> bytes

register_to_bytes register is the 4 byte representation of register in bytes

Sourceval decompose_apic : int -> int * int * int

decompose_apic apicid is the smt * core * package id of apicid. Can throw invalid_argument if cpu_vendor is unknown or apicid is invalid

Sourceval cpu_vendor : string

cpu_vendor is the cpu brand, Genuineintel, AuthenticAMD and so on

Sourceval cpu_model : string

cpu_model model like "Intel(R) Core(TM) i3-10100 CPU @ 3.60GHz"