1/*
2 * Copyright (c) 2002-2005 The Regents of The University of Michigan
3 * All rights reserved.
4 *
5 * Redistribution and use in source and binary forms, with or without
6 * modification, are permitted provided that the following conditions are
7 * met: redistributions of source code must retain the above copyright
8 * notice, this list of conditions and the following disclaimer;

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

120
121 /** Entry point in the kernel to start at */
122 Addr kernelEntry;
123
124#else
125
126 int page_ptr;
127
128 protected:
129 uint64_t next_PID;
130
131 public:
132 uint64_t allocatePID()
133 {
134 return next_PID++;
135 }
136
137
138#endif // FULL_SYSTEM
139
140 protected:
141 Enums::MemoryMode memoryMode;
142
143#if FULL_SYSTEM
144 /**
145 * Fix up an address used to match PCs for hooking simulator

--- 98 unchanged lines hidden ---