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 bytes_of_register : int -> bytes

bytes_of_register 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