summaryrefslogtreecommitdiff
path: root/ia32/standard
ModeNameSize
-rw-r--r--CPragmas.ml1363logplain
-rw-r--r--Conventions1.v14341logplain
-rw-r--r--Stacklayout.v5790logplain