CoqToLeanAsm: x86 Macro Assembler in Lean 4

6.4. Segment Registers

x86 segmentation uses SegReg:

X86.CS : SegReg#check CS -- Code Segment X86.DS : SegReg#check DS -- Data Segment X86.SS : SegReg#check SS -- Stack Segment X86.ES : SegReg#check ES -- Extra Segment X86.FS : SegReg#check FS -- Additional Segment (386+) X86.GS : SegReg#check GS -- Additional Segment (386+)