Amd64
val 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)
cpuid_leaf code leaf
code
val cpuid : int -> int * int * int * int
cpuid code is cpuid_leaf code 0
cpuid code
cpuid_leaf code 0
val bytes_of_register : int -> bytes
bytes_of_register register is the 4 byte representation of register in bytes
bytes_of_register register
register
val 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
decompose_apic apicid
smt * core * package
apicid
invalid_argument