1/*
2 * Copyright (c) 2008 The Hewlett-Packard Development Company
3 * All rights reserved.
4 *
5 * The license below extends only to copyright in the software and shall
6 * not be construed as granting a license to any other intellectual
7 * property including but not limited to intellectual property relating
8 * to a hardware implementation of the functionality of the software

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

268 } else if (deliveryMode == DeliveryMode::INIT && !pendingInit) {
269 pendingUnmaskableInt = pendingInit = true;
270 initVector = vector;
271 } else if (deliveryMode == DeliveryMode::SIPI &&
272 !pendingStartup && !startedUp) {
273 pendingUnmaskableInt = pendingStartup = true;
274 startupVector = vector;
275 }
276 }
276 }
277#if FULL_SYSTEM //XXX CPU has no wakeup method in SE mode.
278 cpu->wakeup();
279#endif
280}
281
282
283void
284X86ISA::Interrupts::setCPU(BaseCPU * newCPU)
285{
286 assert(newCPU);
287 if (cpu != NULL && cpu->cpuId() != newCPU->cpuId()) {

--- 499 unchanged lines hidden ---