I'm rescinding these patches for now, for two reasons: 1) The NMI annotations necessary to get everything working really gets out of control. 2) I think I found a cheap way to do this in sparc64 specific code. Thanks! --