Module X86_cpu

module IA32 : sig ... end

IA32 Architecture Registers.

module AMD64 : sig ... end

AMD64 registers