So, what changes are needed to set it up for full 64bit?
not a huge number.
Implement oscmpswap32 for gccmagic/cmpswap.c
create a function pointer like cmpswap called cmpswap32
assigned oscmpswap32 to cmpswap32 in main.c
change all sem* bits in a/sysproc.c to use uint32 not long
change ed script so it won't do the wrong thing in future.
ugly, but I don't see a non-ugly way to do it.
Thanks for the general idea. I assume that there is also a bunch of
stuff in vx32, but that might be a different question.
EBo --
