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 void postFiq(uint32_t cpu, Tick when);
401
402 /**
403 * Deliver a delayed interrupt to the target CPU
404 */
405 void postDelayedInt(uint32_t cpu);
406 void postDelayedFiq(uint32_t cpu);
407
408 EventFunctionWrapper *postIntEvent[CPU_MAX];
409 EventFunctionWrapper *postFiqEvent[CPU_MAX];
410 int pendingDelayedInterrupts;
411
412 public:
413 typedef GicV2Params Params;
414 const Params *
415 params() const
416 {
417 return dynamic_cast<const Params *>(_params);

--- 66 unchanged lines hidden ---