X86_cpu
module IA32 : sig ... end
IA32 Architecture Registers.
module AMD64 : sig ... end
AMD64 registers