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;

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

121 Addr kernelStart;
122
123 /** End of kernel code */
124 Addr kernelEnd;
125
126 /** Entry point in the kernel to start at */
127 Addr kernelEntry;
128
129#else
130
131 int page_ptr;
132
133 protected:
134 uint64_t next_PID;
135
136 public:

--- 118 unchanged lines hidden ---