1// Copyright (c) 2007 The Hewlett-Packard Development Company
2// All rights reserved.
3//
4// Redistribution and use of this software in source and binary forms,
5// with or without modification, are permitted provided that the
6// following conditions are met:
7//
8// The software must be used only for Non-Commercial Use which means any

--- 922 unchanged lines hidden (view full) ---

931 fault = new GeneralProtection(0);
932 }
933 default:
934 panic("Unrecognized control register %d.\\n", dest);
935 }
936 ControlDest = newVal;
937 }
938 '''
939}};