Mackerel now allows "noaddr" registers, which can model co-processors, etc.
authorMothy <troscoe@inf.ethz.ch>
Mon, 12 Dec 2011 16:03:18 +0000 (17:03 +0100)
committerMothy <troscoe@inf.ethz.ch>
Mon, 12 Dec 2011 16:03:18 +0000 (17:03 +0100)
commitdae5e7418d16baff55e9190e293ab4181174a998
treea2b9a60e26237e101ef86896bce762c55b96e008
parent4bb79fe9d23d8b44cab0a6bee951703a4959e57c
Mackerel now allows "noaddr" registers, which can model co-processors, etc.
This allows considerable cleanup in the x86 code; 32-bit on the way soon.
Redundant ia32_spaces header, since this was not used.
Documented extensions to Mackerel syntax.
12 files changed:
devices/amd64.dev
devices/ia32.dev
doc/002-mackerel/Mackerel.tex
kernel/arch/x86/mcheck.c
kernel/arch/x86_64/init.c
kernel/include/arch/x86/x86.h
kernel/include/arch/x86_64/ia32_spaces.h [deleted file]
tools/mackerel/Checks.hs
tools/mackerel/MackerelParser.hs
tools/mackerel/RegisterTable.hs
tools/mackerel/ShiftDriver.hs
tools/mackerel/Space.hs