1/*
2 * Copyright (c) 2010, 2013, 2015-2018 ARM Limited
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

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

392
393 int intNumToWord(int num) const { return num >> 5; }
394 int intNumToBit(int num) const { return num % 32; }
395
396 /**
397 * Post an interrupt to a CPU with a delay
398 */
399 void postInt(uint32_t cpu, Tick when);
400
401 /**
402 * Deliver a delayed interrupt to the target CPU
403 */
404 void postDelayedInt(uint32_t cpu);
405
406 EventFunctionWrapper *postIntEvent[CPU_MAX];
407 int pendingDelayedInterrupts;
408
409 public:
410 typedef GicV2Params Params;
411 const Params *
412 params() const
413 {
414 return dynamic_cast<const Params *>(_params);

--- 66 unchanged lines hidden ---