marcel 4edad1187d Catch up with the drive-by renaming of IA32 to COMPAT_IA32. It must
have been rush hour...

While here, move COMPAT_IA32 from opt_global.h to opt_compat.h like on
amd64. Consequently, it's unsafe to use the option in pcb.h. We now
unconditionally have the ia32 specific registers in the PCB.

This commit is untested.
2004-08-16 18:54:23 +00:00
..
2004-08-16 06:36:21 +00:00
2004-05-14 23:42:54 +00:00
2004-08-16 12:25:48 +00:00
2004-05-14 13:35:46 +00:00
2004-05-14 11:49:40 +00:00
2004-06-20 22:32:19 +00:00
2004-05-14 11:49:40 +00:00
2004-08-16 06:36:21 +00:00
2004-08-16 06:36:21 +00:00
2004-05-14 11:49:40 +00:00
2004-08-16 12:25:48 +00:00